The Trustworthy Systems group is excited to announce the creation of the seL4 Foundation: https://www.csiro.au/en/News/News-releases/2020/seL4-developers-create-open-...

Its aim is to provide a neutral and independent organisation to ensure the longevity of seL4, and grow its ecosystem of adopters and contributors. It is set up under the Linux Foundation, which provides a mature and well-known framework for us.

My blog provides a detailed explanation of why we are taking this step and what we expect the Foundation to achieve, as well as how community engagement will work: https://microkerneldude.wordpress.com/2020/04/07/the-sel4-foundation-what-an...

The seL4 Foundation has a high-profile Board, consisting of individuals with a strong track record of supporting seL4. Besides Gernot Heiser (Chair), June Andronick and Gerwin Klein from Trustworthy Systems, members are: • Dr John Launchbury from Galois, who as Program Manager and later I2O Director at DARPA funded seL4's development and real-world adoption • Sascha Kegreiß, CTO of HENSOLDT Cyber, the company funding the RISC-V port of seL4 and its verification, to protect their highly secure RIC-V based platforms • Dr Daniel Potts, who has over 20 years experience with L4 microkernels, served as VP Engineering of Open Kernel Labs, then CEO of Cog Systems, now Engineering Director at Ghost Locomotion, who use seL4 to protect the safety of self-driving cars.

The seL4 Foundation already has a number of members, including major adopters HENSOLDT Cyber and Ghost Systems, and providers of services for seL4, Cog Systems and DornerWorks. Please check the membership page for details and how to join: https://sel4.systems/Foundation/Membership/

We specifically encourage developers to help extend the seL4 ecosystem. If you want to contribute, we suggest looking at the list of userlevel components, and add/enhance/adopt: https://docs.sel4.systems/projects/available-user-components.html

Looking forward to working with all of you to take the world's most secure, most advanced, and fastest microkernel OS to the next level!

Gernot on behalf of Trustworthy Systems