Hi,
I already saw it, and we should give this a try. To be honest, I wrote this in my TODO list a couple of month ago, but this list is growing amazingly fast.
But this driver need to use the Allwinner kernel that come for this driver. So we have to extract all the Mali related source code from the Allwinner kernel, inject this into our kernel, fix the Mali-Driver installer, and pray for compatibility between Mali-400 and Mali-200.
So, It should worth the shot, but for now I don't have the time to try.
Regards,
Panda