Sorry if this is stupid, I'm a complete newbie to this. I'm running self-compiled Armbian 5.41 (Mainline) on an OrangePi One.
I tried to follow your tutorial, however when I got to "make config"
Error: Failed to open /dev/mali: No such file or directory
Makefile.config:57: Unknown/unhandled Mali Version ""
Makefile.config:58: Use VERSION=(r2p4,r3p0,r3p1,r3p2-01rel1) instead
Error: Failed to open /dev/mali: No such file or directory
Makefile.config:59: *** Unknown/unhandled Mali Version "". Stop.
make[2]: Leaving directory '/home/user/sunxi-mali'
Makefile:12: recipe for target 'config.mk' failed
make[1]: *** [config.mk] Error 2
make[1]: Leaving directory '/home/user/sunxi-mali'
Makefile:8: recipe for target 'config' failed
make: *** [config] Error 2
so I tried modprobe mali and got
modprobe: FATAL: Module mali not found in directory /lib/modules/4.14.18-sunxi
And noticed that folder doesn't exist, just a couple ones like "4.13.0-37-generic". Now I checked with http://linux-sunxi.org/Mali_binary_driver#Modules
and got just as far there. Any ideas?