Want a truly secure operating system kernel? The Linux Foundation is partnering with Australia[he]#039[/he]s national science agency, CSIRO, to roll out the seL4 microkernel

Source: LXer – Linux Foundation backs security-oriented seL4 microkernel operating system