Mali

Overview
Mali400 is the GPU from ARM. More information can be found on ARM website.

Mali 400 on A1x
Allwinner officially support only the Mali gpu driver on android platform.

Official (propriatary) Mali X11 driver
Below is the architecture of mali x11 driver from arm mali x11 document. Mali DDK | DDX   | --              - --               -        ^        |        | -                - -                -
 * EGL,Base,GLES,VG|
 * EXA, DRI2, FBDEV | <-> | UMP |
 * X.Org Server | <--> | DRM |

Except the mali DDK, which is under commercial license, other parts can be downloaded from ARM mali developer website.

Binary lib download
See: http://rhombus-tech.net/allwinner_a10/nightly_build_images/

r3p0
built on ubuntu-12.04-armhf on A10 with "VARIANT=mali400-vg-gles20-linux-ump TOOLCHAIN=gcc" from mali ddk.

Download

Open-source Mali driver
There is a project to develop completely open-source Mali driver (work in progress): http://limadriver.org/