Adding OpenCL on Rockchip / NanoPi

I was trying to use an ffmpeg filter with OpenCL and noticed DietPi didn’t have the driver for the Mali G52 GPU in the RK3568.

I’ve seen people get mesa/panfrost working on RK3588 and it also works in mainline. Does anybody know how I can manually install the driver?

You would probably have to download kernel source, and build it yourself manually