Dear team,

Could you point me a link where I can compile the Mali 400 kernel modules and driver ?
I am not sure, but the mali driver seems not to be builtin in the debian image.

Best regards,

Nikos