官网提供的Ubuntu的内核源码在哪里?

Chip Platform Rockchip
1

折腾了好几天，自己写的驱动一直在Ubuntu+Android系统上运行出错，
现在重新安装了这个固件，
Firefly-RK3288_Server_Ubuntu14.04_201512040941.7z
运行正常，但是不知道kernel源码在哪里???
有哪位大神知道嘛，求教.

2

有人来解释下吗?

3

wiki看一下