A basic operating system for the Raspberry Pi