seL4 developers launch open source foundation to enable safer, more secure computer systems
As software becomes ever more complex and intertwined, it is crucial to ensure that systems cannot be compromised by even the smallest of defects. The seL4 microkernel, developed by CSIRO’s Data61, is designed to prevent such compromise. The seL4 Foundation will provide a global, independent and neutral source of funding to support the future of...
