A first operating system for Raspberry Pi built from scratch