Day: April 9, 2020

Linux Foundation To Support seL4 Foundation

The Linux Foundation will be hosting seL4 Foundation, the nonprofit organization established by Data61 (the digital specialist arm for Australia’s national science agency CSIRO). The seL4 microkernel is designed to ensure the security, safety and reliability of real-world critical computer systems. The new Foundation aims to accelerate the commercial development […]