Multi-server operating system with limited POSIX support. Uses seL4.