RK3288板子的ubuntu系统所用kernel目前有几个源码啊？

Chip Platform Rockchip
1

看到github上只有kernel3.14和kernel4.4.55的源码，还有别的吗？