seL4 foundation logo

Join the seL4 Foundation!

Become part of the members who have already joined the seL4 Foundation!.

Joining is an easy process via the Linux Foundation's online signup page.

Note that seL4 Foundation members must be (or become) members of the Linux Foundation. The online process will include your Linux Foundation membership if you are not already a member. Details on Linux Foundation membership can be found here.

You can review the seL4 Foundation Directed Fund Participation Agreement.

Questions? Email us at foundation@sel4.systems


Membership levels

Premium

Guaranteed board seat

General

One seat as a class

Associate

No voting right

Benefits of joining

General Benefits

  • Be associated with the world's most advanced, and most highly assured OS technology.
  • Get easy access to seL4 expertise across the 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, approval of standards, decisions on branding, trademark use, and certification and accreditation schemes.

Adopters

Support creation of artefacts everyone needs, eliminating replication of effort and reducing the cost for everyone.

Processor manufacturers

Ensure hardware is well-supported by seL4, with certified verification, to ensure competitiveness of offering in critical domains.

Service providers

Become an certified trusted seL4 provider, with Foundation providing advertising opportunities, re-directing inquiries, facilitating teaming for funding bids facilitating subcontracting.

Universities and public-sector

Advertise seL4-related work and teaching material.
Establish or deepen research collaborations.