A simple operating system for the Raspberry Pi