Raspberry Pi VideoCore driver code released

The Raspberry Pi Foundation has announced that the
source code for its video driver is now available under the BSD license.
"If you’re not familiar with the status of open source drivers on ARM
SoCs this announcement may not seem like such a big deal, but it does
actually mean that the BCM2835 used in the Raspberry Pi is the first
ARM-based multimedia SoC with fully-functional, vendor-provided (as opposed
to partial, reverse engineered) fully open-source drivers, and that
Broadcom is the first vendor to open their mobile GPU drivers up in this
way."