seL4 Foundation Governance

The seL4 Foundation is established as a project under The Linux Foundation. It is designed to fullfil 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:

Legal documents

The seL4 Foundation is underpinned by 2 key documents: the Fund Charter, and the Technical Charter, modelled on the standard approach for Linux Foundation projects. You will find these legal documents here once they are approved by the Linux Foundation.