A simple OS for the Raspberry Pi