A bare metal operating system for the Raspberry Pi