April 7, 2020
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