The Linux Foundation Throws Weight Behind Secure Microkernel
DevOps.com
APRIL 7, 2020
The Linux Foundation announced today it will host the seL4 Foundation, the nonprofit organization established by Data61, an arm of Commonwealth Scientific and Industrial Research Organization (CSIRO) in Australia that has been developing the seL4 microkernel operating system.
Let's personalize your content