Linked by jimmy1971 on Thu 27th Jan 2011 22:21 UTC
Privacy, Security, Encryption "National ICT Australia, in conjunction with Open Kernel Labs, has released new software aimed at researchers, developers and manufacturers that has the ability to protect computer hardware from failure or being attacked. The seL4 microkernel is a small operating system kernel which regulates access to a computer's hardware and is able to distinguish between trusted and untrusted software."
Permalink for comment 460036
To read all comments associated with this story, please click here.
RE[2]: Thinking...
by nfeske on Fri 28th Jan 2011 14:37 UTC in reply to "RE: Thinking..."
nfeske
Member since:
2009-05-27

As one of the original creators of Genode, I wholeheartedly disagree. The Genode architecture is designed with security as primary motivation. In fact, the lack of security considerations in its predecessor (called L4env) was the reason why Genode was started in the first place. ;-)

I am excited about seL4 being finally released (at least in binary form). As far as I have captured its kernel interface, it looks like it could deliver the security mechanisms required to enforce the security principles of the Genode architecture at the kernel level.

Thanks to NICTA for making this valuable work publicly available!

Reply Parent Score: 1