Interesting bits for me ... I knew neither! > seL4 is also a hypervisor. seL4 supports virtual machines that can run a fully fledged guest OS such as Linux >

Interesting bits for me ... I knew neither! > seL4 is also a hypervisor. seL4 supports virtual machines that can run a fully fledged guest OS such as Linux > seL4 is the world’s fastest microkernel