Linux Foundation backs security-oriented seL4 microkernel operating system

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