seL4 foundation logo

Technical Steering Committee

The Technical Steering Committee (TSC) of the seL4 Foundation is responsible for overseeing all technical aspects of the seL4 project (technical direction, code of conduct, procedures, workflows, quality control, etc). It is made of the projects committers who are the people with direct repository access, plus technical leaders. Their role is described in detail in the seL4 Foundation Technical Charter.

Committers


Technical Leaders