Nothing AFAIK. The kernel part has already been open source in the Raspberry Pi kernel fork: https://github.com/raspberrypi/linux/tree/rpi-3.2.27/drivers/misc/v

Nothing AFAIK. The kernel part has already been open source in the Raspberry Pi kernel fork: https://github.com/raspberrypi/linux/tree/rpi-3.2.27/drivers/misc/vc04_services https://github.com/raspberrypi/linux/tree/rpi-3.2.27/drivers... The userland part is the implementation of hardware accelerated OpenGL ES 2 and OpenMAX (video acceleration), at least.