Bare metal kernel for the Raspberry Pi