seL4 Is Free – What Does This Mean For You?
10K views • 11 years ago
Linux.conf.au 2015 -- Auckland, New Zealand
Gernot Heiser presents seL4, a microkernel with a mathematical proof connecting security properties to the binary code, and explains what its open-sourcing means for users. It covers its roles as a microkernel, separation kernel and hypervisor.
