Baking Pi: creating a bare-metal operating system on the Raspberry Pi