- SeL4 has been developed by Data61, the digital specialist arm of Australia’s Commonwealth Scientific and Industrial Research (CSIRO)
- The original creators of seL4 will continue to show the direction of the technology
As per a report by Computer Weekly, the Australian open source seL4 microkernel project is set to expand its global reach. This has been possible after receiving support from the Linux Foundation.
The report added that seL4 has been developed by Data61, the digital specialist arm of Australia’s Commonwealth Scientific and Industrial Research (CSIRO). It is already being used in defence systems and autonomous vehicles.
Trustworthy software stack
As per the report, in order to fund and drive the future development of the microkernel, Data61 has formed the seL4 Foundation under the backing of the Linux Foundation. June Andronick, leader of trustworthy systems at Data61 said that the project is a game-changer for safety- or security-critical systems. It forms a dependable base for building a trustworthy software stack. This step has been taken to increase participation from the seL4 community, to help in further adoption and provide a sustainable, long-term trajectory for seL4.
The report added that the original creators of seL4 will continue to show the direction of the technology. Its founding members include Data61, UNSW Sydney, HENSOLDT Cyber, Ghost Locomotion, Cog Systems, and DornerWorks.
