PiCore 5.3 Linux is a 25MB operating system for the Raspberry Pi