最近刚入手一个hikey960的开发板（自带android 8），想学习下arm gpu的opencl开发。经过一些搜索发现，要使用opencl，需要有两个驱动kernel driver（需要编译进内核），user space kernel（可以从arm的网站上下载），手中板子上的android系统没有kernel driver，只能自己编译。
但是按照一些网上的文档都需要从google下载aosp的源码树，公司不能翻墙，在家里面下速度很慢，所以想请教一下各位专家，有没有已经编译的好的android的内核的链接呢？先谢过。
这里有user space的driver https://developer.arm.com/tools-and-software/graphics-and-gaming/mali-drivers/user-space