Linked by Thom Holwerda on Tue 15th Dec 2009 18:04 UTC, submitted by poundsmack
OSNews, Generic OSes "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."
Permalink for comment 399772
To read all comments associated with this story, please click here.
by waid0004 on Wed 16th Dec 2009 00:50 UTC
Member since:

I'm not an expert, but I'm familiar with the L4 capability design for a micro-kernel OS. I've looked at some of their documents, but haven't found a clear enough definition of how exactly their OS works to say it is (or is not) L4-like. Could someone link to the right document?

Reply Score: 1