The Otium OS for 0x10c