A simple operating system for 0x10c.