RK3399 ubuntu开发小疑问

[AiminYU]

请问ＲＫ3399有ubuntu的源码吗？在哪里？我在官网上没有看到，知道的可以给个链接吗？没有的花话，也可以给个地址 下载ubuntu镜像的