Has this ever been considered for video on raspberry devices and for other architectures?

[Joe Nosay]

Is it possible to use https://github.com/raspberrypi/userland along with
TinyX/XBMC to create an accelerated graphics driver?