3 ms·

This is why SEL4 is awesome. http://ssrg.nicta.com.au/projects/seL4/ http://ssrg.nicta.com.au/projects/seL4/ First kernel with certain security guarantees form

by pa7ch 12y ago

This is why SEL4 is awesome. http://ssrg.nicta.com.au/projects/seL4/ http://ssrg.nicta.com.au/projects/seL4/ First kernel with certain security guarantees formally proven; now open source. It can be used as a hypervisor which seems like its most obvious first use case. At least until there is enough middle-ware to build full systems directly with it.

chubot 12y ago
It is indeed awesome, but from a practical perspective it doesn't even compare with Xen. Hardware support is up to you. I think you can boot it on x86, but that's just the microkernel -- you have to add all the hardware support. I don't think seL4 is meant to run on servers either.