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.

Linux Foundation backs security-oriented seL4 microkernel operating system More>