Linux Foundation backs security-oriented seL4 microkernel operating system
First thing’s first: Yes, the Linux Foundation is working with Data61 — the digital specialist arm for Australia’s national science agency, Commonwealth Scientific and Industrial Research Organisation (CSIRO) — to push forward the new security-first operating system kernel seL4. But seL4 is not related to Linux. However, SeL4 can be used, in theory, as a foundation for Linux […] More