Andrei Merkulov - stock.adobe.co
The Australian open source seL4 microkernel project is set to expand its global reach after receiving support from the Linux Foundation.
As the world’s first microkernel to be proven secure mathematically, seL4, developed by Data61, the digital specialist arm of Australia’s Commonwealth Scientific and Industrial Research (CSIRO), is already being used in defence systems and autonomous vehicles.
To fund and drive the future development of the microkernel, Data61 has formed the seL4 Foundation under the auspices of the Linux Foundation, which will provide expertise and services to increase community engagement, contributors and adopters.
“The project is a game changer for safety- or security-critical systems; it forms a dependable base for building a trustworthy software stack,” said June Andronick, leader of trustworthy systems at Data61. “We are taking this step to increase participation from the seL4 community, to aid further adoption and provide a sustainable, long-term trajectory for seL4.”
The original creators of seL4 will continue to steer the direction of the technology. The founding members of the seL4 Foundation include Data61, UNSW Sydney, HENSOLDT Cyber, Ghost Locomotion, Cog Systems and DornerWorks.
Michael Dolan, vice-president of strategic programmes at the Linux Foundation said its “open governance and standards-based model will provide a neutral, mature and trustworthy framework to help advance an operating system that is readily deployable and optimised for security”.
The trustworthiness of embedded computing systems that microkernels like seL4 power is vital to guard against cyber threats aimed at industrial control systems. This is particularly paramount in industries such as avionics, autonomous vehicles, medical devices, critical infrastructure and defence.
Read more about open source in APAC
- Singapore’s Government Technology Agency is contributing the source codes of the BlueTrace protocol that powers its contact-tracing app.
- Open source software has been pivotal to DBS Bank’s digital transformation journey, paving the way for access to innovations that are at the forefront of technology.
- Major telecoms and hyperscale cloud companies in China are leading the charge in OpenStack adoption across APAC, the OpenStack Foundation declared at its Open Infrastructure Summit in Shanghai.
- From being users of open source software to contributing their own codes to the community, enterprises in Asia-Pacific are becoming active participants in the open source ecosystem.
To that, John Launchbury, former director of the information innovation office at the US Defense Advanced Research Projects Agency (Darpa), noted that seL4 is “one of a kind” in system security.
“Covid-19 has taught us all the value of ‘distancing’ in keeping any kind of system healthy and secure. That’s what microkernels like seL4 do for software. What makes seL4 unique is that we know with mathematical certainty that the seL4 code implements its ‘distancing’ specification with zero functionality bugs,” said Launchbury.
“That it does so without a performance hit is doubly astonishing,” he said. “I am eagerly anticipating seeing more and more system builders incorporate it to increase their digital security, and I’m confident that the seL4 foundation has been well structured to be effective in curating the ongoing open source development of seL4.”