Mali

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

Mali 400 on A1x
Allwinner officially supports the Mali GPU driver on the Android platform only.

Official (proprietary) 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 for 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 a completely open-source Mali driver (work in progress): http://limadriver.org/