Xorg DDX driver for ARM devices (Allwinner, RPi and others) - View it on GitHub