It has been announced today on the Raspberry Pi site that the userland libraries have been made open-source. This makes the BCM2835 on the Raspberry Pi the "first ARM-based multimedia SoC with fully-functional, vendor-provided (as opposed to partial, reverse engineered) fully open-source drivers" (in the words of Alex Bradbury - the lead Linux developer at the Raspberry Pi foundation).
This should make life much easier for anyone looking to port different operating systems on to the Pi. With the GPU drivers opened up, it will mean that you can take advantage of the full hardware accelerated graphical capabilities of the BCM2835.
According to Alex, Broadcom are the first vendor of mobile phone SoCs to open up their drivers this way.
You can read the full announcement on RaspberryPi.org
Does this help anyone with their plans, or give them an idea? You can find the userland source on GitHub
