Imagine comparing the trusted code base of a Separation Kernel Hypervisor capable of scheduling tasks, isolating task memory, and isolating I/O between tasks and physical interfaces, versus a ...

Want a truly secure operating system kernel? The Linux Foundation is partnering with Australia's national science agency, CSIRO, to roll out the seL4 microkernel.