"An increasing number of machines are equipped with hardware that can be used to support trustworthy computing. Trustworthy computing enables applications to make strong assurances about their behavior. Existing operating systems do not provide the right execution environment for trustworthy computing, and so are unable to fully exploit this emerging opportunity. The Nexus is a new operating system for trustworthy computing. Its microkernel architecture greatly reduces the size of the trusted computing base (TCB) by moving functionality out of the kernel."