VC4 GPU driver for Raspberry Pi & DisplayLink USB monitors

Using Eric Anholts MIT-licensed Mesa and kernel DRM driver
for the 2708 (aka the 2835), the chip that's in the Raspberry Pi.
http://anholt.livejournal.com/
http://dri.freedesktop.org/wiki/VC4/

x11r7/xserver_xorg-server: 1.16.99.901 first RC for X server 1.17 …
x11r7/xlib_xtrans: 1.3.5
* The modesetting driver has been merged into the server code base,
  simplifying ongoing maintenance by coupling it to the X server
  ABI/API release schedule. This now includes DRI2 support (so that GLX
  works correctly) along with Glamor support (which handles DRI3)
  http://lists.x.org/archives/xorg-announce/2014-October/002491.html

The Linux kernel has two drivers for use by DisplayLink USB monitors
The udlfb framebuffer driver to be used with xdriver_xf86-video-udlfb
The udl KMS driver to be used with the modesetting driver.
The modesetting driver also support the VC4 GPU using the Linux VC4 DRM driver.