---

seL4 creates open source foundation to enable more secure computing systems

CSIRO???s Data61, the digital specialist arm of Australia’s national science agency, announced the creation of the seL4 Foundation, a not-for-profit organization, to accelerate the development of the seL4 microkernel and related technologies.