Mali-400 kernel drivers for external compilation for use with linux-sunxi kernel. - View it on GitHub