ARM Mali T764 的Linux下OpenCL 的binary哪里找？

我项目中需要用嵌入式GPU的OpenCL做非图像方面的运算，目前用的芯片是RK3288,GPU是Mali-T764

因为产品功能对实时性有要求，且因为开发方式的限制，RK3288上会选用Linux系统(ubuntu)，用安卓的可能性很小。

但是找了下，Mali官方提供的是T60X和T62X在Linux下的OpenCL Binary，另外我找到OpenCL的SDK中可以编译出libOpenCL.so，也就是OpenCL的binary，

不知道能不能用在Mali-T764上，如果Mali官方直接提供T7xx的OpenCL Binary最好，不知道官方是否提供。