seL4 microkernel developers create open source foundation
CSIRO's Data61 has announced the creation of the seL4 Foundation, a not-for-profit organisation, to accelerate the development of the seL4 microkernel and related technologies. An Australian innovation, seL4 is the world's first operating system (OS) kernel that is mathematically proved…