seL4 foundation logo

Funding the next big steps for the seL4 project

Alongside growing the seL4 ecosystem, protect and promote the seL4 brand and provide longevity to seL4, one of the aims of the seL4 foundation is to provide an avenue for funding on-going research, on-going engineering as well as sharing the cost of "big-ticket" verification items, through its membership revenue, and through specific fund-raising to address particular needs.

Together, we can change the world of critical systems, to achieve real security!

Support by joining

By joining the adventure, you can support:

  • The funding of an on-going support of the community, maintenance of existing versions, improvements of the infrastructure (in particular the automation of the seL4 verification framework), evolution of the kernel, and, importantly, development of the ecosystem.
  • The funding of big-ticket items that are crucial to our aim of making seL4 ubiquitous. The biggest of these are:
    • Verification of the 64-bit Arm kernel
    • Verification of the multicore kernel
    • Completion of the verification of the MCS (Mixed-Criticality System) kernel
    The interest for these items is strong but the investment required is above the pain limit of most single organisations. The foundation provides a vehicle to pool investments to achieve these.
    These three projects are open for donations, and we have started receiving partial funding to tackle them. If you would like to contribute to this pooled investment, please do so with a donation marked specifically for one of these projects. Please contact us and we'll assist you through the process.

Support by donating

You can contribute to seL4 though the Linux Foundation's crowdfunding portal.

Alternatively, for larger donations, we can raise an invoice through the Linux Foundation, please contact us if you want to take this route.