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 up of seL4 developers, proof engineers, and technical leaders. Their role is described in detail in the seL4 Foundation Technical Charter.
Members
Meetings
After the constituting meeting, TSC meetings are planned to be public, and minutes will be made publicly available from this page.
If you have an issue that you'd like to bring to the attention of the TSC, please email any of its members listed above.
The following meetings and decisions have so far been recorded:
- 2020-05-20: Constituting meeting of the TSC
- 2020-05-21: Email vote for invitation to reviewer role.
- 2021-01-29: 2nd TSC meeting
- 2021-02-12: 3rd TSC meeting
- 2021-05-27: Email vote for invitation to committer role.
- 2021-08-18: Email vote for interim endorsement.
- 2021-09-29: Email vote for interim endorsement.
- 2021-09-30: Email vote to approve RFC-8.
- 2021-12-16: Email vote to invite Yanyan Shen to the TSC.
- 2021-12-17: 4th TSC meeting.
- 2022-04-14: Email vote to approve RFC-10.
- 2022-12-15: Email vote to invite Indan Zupancic as Reviewer.
- 2022-12-16: 5th TSC meeting.
- 2023-05-30: Email vote to drop support for Cogent.
- 2023-07-17: Email vote to invite Indan Zupancic and Ivan Velickovic as Committers, as well as Alwin Joshy as Reviewer.
- 2023-09-12: 6th TSC meeting.
- 2024-03-22: 7th TSC meeting.
- 2024-07-25: 8th TSC meeting.
Joining the TSC
TSC members are the technical leadership of the foundation. New members can join the TSC by decision (vote) of the TSC, and potential new members can be nominated by any current TSC member.
New members are generally expected to be active current contributors with the technical knowledge required for the role and a vision for the future of the seL4 ecosystem.
There are separate roles for repository write access (Committer), organisational admin access (SysAdmin), and the ability to approve pull request and manage issues (Reviewer).
If you would like to nominate someone for any of these roles, please email the chair (Gerwin Klein) of the TSC.