A bare metal OS for the Raspberry Pi