Prota Pi: Raspberry Pi running Prota OS