I have a Rockchip RK3399 board with Mali T860. I want to install the driver to use OpenCL+Mali. I found the drivers here but I don't know how to install it. Is there some documentation about?
The drivers there are only the kernel parts (far less than half of the complete driver stack). We don't supply full drivers for development boards produced by our silicon partners - the source of the drivers for the board is either the chip manufacturer or the board manufacturer.
Kind regards, Pete
We do provide full drivers for some boards (https://developer.arm.com/tools-and-software/graphics-and-gaming/mali-drivers/user-space) but unfortunately it seems yours isn't part of the list.
Regards,
Kévin