The seL4 Foundation
The seL4 Foundation is an open, transparent and neutral organisation tasked with growing the seL4 ecosystem. Its focus is on coordinating, directing and standardising development of the seL4 ecosystem in order to reduce barriers to adoption, raise funds for accelerating development, and ensure clarity of verification claims.
Two main bodies
Governing Board
The body in charge of outreach, managing the funds, protecting the
brand. It is governed by the seL4 Foundation Fund Charter.
TSC
The Technical Steering Committee, responsible for overseeing all
technical aspects of the seL4 project. It is governed by
the seL4 Foundation Technical Charter.
Key principles
The seL4 Foundation is established as a project under the Linux Foundation. It is designed to fulfill the following key principles.
- Neutral and community-based
- The seL4 Foundation provides long-term, independent support for the seL4 kernel and the seL4 ecosystem, by enabling the collaborative community-based development, availability and adoption of the seL4 kernel. The seL4 Foundation aims to represent the perspectives of all main actors in the seL4 community (kernel developers, kernel verifiers, ecosystem developers and adopters), in the technical and general governance of the seL4 kernel and the seL4 Foundation.
- Adoption growth
- The seL4 Foundation enables and promotes adoption of seL4 by supporting the evolution and verification of the seL4 kernel, and by supporting the growth of the seL4 ecosystem, which is required to facilitate development of seL4-based systems.
- Brand promotion and protection
- The seL4 Foundation provides official releases of the seL4 kernel with clear associated verification statements, to promote the use of seL4 as a competitive advantage, with clear traceability to the sources of the code and the proofs.
