This looks like the source for a Linux Mali-400/450 driver: http://malideveloper.arm.com/?modals=mali-400450-linux-kernel-device-driver http://malideveloper.arm

This looks like the source for a Linux Mali-400/450 driver: http://malideveloper.arm.com/?modals=mali-400450-linux-kernel-device-driver http://malideveloper.arm.com/?modals=mali-400450-linux-kerne... I haven't really examined it, though. Maybe there's also a binary blob loaded into the GPU itself or something (the Raspberry Pi does that, for example). Hopefully they don't need to use a closed-source blob for the C2.