Firmware files for the Raspberry Pi - View it on GitHub