rk3399上64位Ubuntu使用问题

Chip Platform Rockchip
1

rk3399上装的64位Ubuntu，里面没有libOpenCL.so和libmali.so，而且GPU驱动没有加载，这个怎么解决？

2

编译内核把驱动加上去然后升级内核吧