A bare-metal actor operating system for Raspberry Pi.