Data61, Linux Foundation launch seL4 open source foundation

guest · Apr 8, 2020

Data61, Linux Foundation launch seL4 open source foundation
April 8, 2020
https://www.itnews.com.au/news/data61-linux-foundation-launch-sel4-open-source-foundation-546202

The Linux Foundation is set to host a new global not-for-profit foundation established by the CSIRO’s Data61 to promote and fund the development of its security-focused microkernel, seL4.

The secure embedded L4 (seL4) microkernel was developed by Data61 to provide a reliable, secure, fast and verified base for building trustworthy operating systems that handle sensitive information. It has been deployed in defence and aerospace settings.
The new seL4 Foundation will be chaired by one of the microkernel’s original developers, Scientia Professor Gernot Heiser from UNSW Sydney and Data61.

“This is about taking the seL4 ecosystem to the next level,” Heiser said.
Click to expand...

Other backers and members of the seL4 foundation include UNSW Sydney, HENSOLDT Cyber, Ghost Locomotion, Cog Systems, and DornerWorks.
seL4’s 12,000 lines of C code are available on GitHub.
Click to expand...

Log in or Sign up

Data61, Linux Foundation launch seL4 open source foundation

guest Guest

Log in or Sign up

Data61, Linux Foundation launch seL4 open source foundation

guest Guest

Useful Searches