3 ms·
Another intersting microkernel might be seL4, which is an L4 implementation (as you might have guesses from the name) focussed on security that will be released
by fhars 12y ago
Another intersting microkernel might be seL4, which is an L4 implementation (as you might have guesses from the name) focussed on security that will be released as open source (code and correctness proofs, as all good security software should be in an ideal world) at the end of July: http://sel4.systems/ http://sel4.systems/
- snvzz 12y agoFor a gallery of L4 microkernels, just look at Genode. They support a bunch and also some non-L4 yet interesting ones: http://genode.org http://genode.org
- erikano 12y agoDidn't know seL4 was going to be open source. Thanks.
- deleted 12y ago[deleted]
- hornetblack 12y agoHere I was thinking: Wouldn't it be nice if seL4 were Open source.