in case anyone is interested a RPI KMS driver is landing in Linux 4.4, see
https://phoronix.com/scan.php?page=news ... x-4.4-Next
http://www.phoronix.com/scan.php?page=n ... -Linux-4.4
http://cgit.freedesktop.org/~airlied/li ... f31126396f
$this->bbcode_second_pass_quote('', 'T')his pull request introduces the vc4 driver, for kernel modesetting on
the Raspberry Pi (bcm2835/bcm2836 architectures). It currently
supports a display plane and cursor on the HDMI output. The driver
doesn't do 3D, power management, or overlay planes yet.