Today the Raspberry Foundation has announced that the graphics code for the $35 Raspberry Pi mini PC is now available as open source code. With the VideoCore driver code which runs on the ARM has been released under a FOSS license (3-Clause BSD).
This means that the BCM2835 used in the Raspberry Pi is the very first ARM based multimedia SoC with vendor provided fully open source drivers, rather than drivers which have been created or reverse engineered by developers.
The Raspberry Foundation explains : “The open sourcing of the userland libraries is of course going to be massively helpful to those of you who have been either actively porting or wanting to use alternate operating systems on the Raspberry Pi. We’ve been excitedly following the progress of FreeBSD, NetBSD, Plan9, RISC OS, Haiku and others. All these projects could now potentially port these libraries and make use of the full hardware accelerated graphics facilities of the Raspberry Pi.”