I have just seen this item: Broadcom has released open-source drivers and documentation for the graphics processor that's used in the Raspberry Pi microcomputer, among other devices http://www.theregister.co.uk/2014/02/28/broadcom_open_source_driver