Nexus is a new operating system for trustworthy computing. It can take advantage of Trusted Platform Modules (TPMs) to issue trustworthy certificates of program properties. It provides user-level device drivers, isolated protection domains, interprocess communication, and partial POSIX support. It runs on x86 hardware.
