seL4 foundation logo

seL4 Foundation Governance

The seL4 Foundation is established as a project under The Linux Foundation. It is designed to fulfill the key principles described here and summarised below.

The seL4 Foundation has 2 parts:


The seL4 Foundation is intended to be structured and governed to promote the following key principles:

Governance Documents

The seL4 Foundation is underpinned by 2 key documents: the seL4 Foundation Fund Charter, and the seL4 Foundation Technical Charter. Both are modelled on the standard approach for Linux Foundation projects.