Bare metal boot loader for the Raspberry Pi's VideoCore processor (no ARM!) - View it on GitHub