Somebody from Imagination Technologies left a comment on my blog:  http://www.cnx-software.com/2014/01/10/a80-optimusboard-features-allwinner-octa-core-big-little-soc/#comment-147660

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=1636bffddc2832b4574a80324e362742fb2ecd7d "


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?