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 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!

By joining the adventure, you can support: