Sorry if this is silly question, but I can't find any straight-forward documentation on this topic.   I've seen that Mali drivers was available for older kernel, but what about mainline?   Asking this especially in context with this finding -- Maxime Ripard's article "Mali OpenGL support on Allwinner platforms with mainline Linux".   Currently on clean Armbian install on NanoPi Neo Air I can't load mali:   $ modinfo mali modinfo: ERROR: Module mali not foun