Simple kernel for the Raspberry Pi written in ARM assembly.