The seL4 Foundation

Become a Member

seL4 is open source and free to use. The cost of maintaining and extending the technology, as well as supporting the community of users, developers, and contributors is covered by the funding from seL4 Foundation memberships. This page explains what the memberships funding enables, the additional benefits that members receive, and the different membership tiers.

Join

What your Membership Enables

None of the support below would be possible without the financial contributions from seL4 Foundation memberships. Organisations that depend on these services become members of the seL4 Foundation to ensure the continued development of seL4 and its ecosystem.

Continuous Integration

Running the seL4 proofs and full set of tests at each code change, making sure seL4's quality and assurance levels are maintained.

IT infrastructure

An increasing set of hardware boards being supported and tested, for wider scope and applicability of seL4. Hosting the seL4 website and documentation. Maintaining cloud services for running the seL4 proof.

seL4 Development

Strategic extensions and projects to improve ease of use and adoption, such as Rust support, new seL4 features, and new seL4 releases, including user-level libraries and frameworks.

Community Support

Expert advice and guidance via mailing lists and other communication channels.

seL4 Summit

An annual event for the community to share insights, collaborate, make connections, and show-case work.

Leadership and Coordination

Financial planning, strategy execution, communication with the community. Keeping the vision for seL4 on track and providing technical leadership for the project.

Additional Benefits for Members

In addition to enabling continued support and development of seL4 through your membership fee, as an seL4 Foundation Member you get these additional benefits:

Be associated with the world's most advanced, and most highly assured OS technology.
Get easy access to seL4 expertise across the seL4 Foundation, and to a community of people who are addressing similar technical issues, and targeting corresponding value propositions.
Influence the direction of the growth of the seL4 ecosystem through the board and its committees, including allocation of funds to strategic projects and support initiatives, approval of standards, decisions on branding and trademark use.
Become an endorsed trusted seL4 provider, with the seL4 Foundation providing advertising opportunities, re-directing inquiries, facilitating teaming for funding bids and subcontracting.
Advertise your ongoing research or your seL4-related course.
Get discounts and reduced fees for seL4 Foundation events.

Membership Tiers

There are three membership tiers available to organisations: Premium Members get a guaranteed seat at the board, directly influencing the direction of the growth through funds allocation. General Members elect one representative at the board as a class. Affiliate Members can join for free but have no voting rights.

You can review the Membership Agreement beforehand (this is for review only, not for signing). You can also read the Articles of Association, the Rules of Operations, and the Good Standing Policy. If you have any questions, please contact us at foundation@sel4.systems.