Somebody from Imagination Technologies left a comment on my blog: http://www.cnx-software.com/2014/01/10/a80-optimusboard-features-allwinner-o...
The part related to this mailing list is:
"Secondly, the links below contain DDK (Driver Development Kit) source packages distributed through our customers:
..... Rhombus Tech (1.10 onwards)
http://git.rhombus-tech.net/?p=linux.git;a=tree;f=modules/eurasia_km;hb=1636... "
This repo points to something called eurasia_km for A31 Android 4.2. This is clearly related to the PowerVR GPU A31, but I don't really understand what can be done with this source. Would it be possible to use it with a Linux distribution, or the binary part still relies on the Android drivers?
I've also seen Mele play 4K videos in Linux on AllWinner A31.
Does that mean a Linux port with GPU and VPU support is technically feasible with what is available today?