The SDK is by amlogic and the mali driver sources by arm.
So if you get the SDK, that's doesn't mean you get the mali sources...
Last but not least without knowing the h/w layout the mali sources are maybe useless, because only amlogic knows how to optimize the driver at there h/w (and this is where all the manufactures are waiting for, also minix...) ...
(I don't know how they handle it at OpenELEC and Aml-Linux)
Comment