A toy operating system for the Raspberry Pi.