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:
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:
The interest for these items is strong but the investement required
is above the pain limit of most single organisation. The foundation
provides a vehicle to pool investements to achieves these.
- Verification of the 64-bit Arm kernel
- Verification of the multicore kernel