A lightweight C++ operating system with a single address space.