Roles

The seL4 Foundation defines the following roles for seL4 development.

Apart from Contributor, which anyone can be, you can become a member of any of these roles by decision (vote) of the Technical Steering Committee (TSC). You can nominate someone for a role by emailing the chair of the TSC.

  • Contributor: Anyone who contributes code, documentation, issues, etc via pull requests or otherwise.

  • Reviewer: People with technical experience and interest to approve reviews on pull requests, be assigned and maintain issues, but without full commit rights. They would typically be active Contributors already, but exceptions are possible. They become members of the seL4 GitHub org.

    The role does not confer membership or voting rights in the TSC.

    Current members are:

    • Christopher Guikema, Dornerworks
    • Jesse Millwood, Dornerworks
    • Alwin Joshy, UNSW
    • Benno Leslie, Breakaway Consulting

     

  • Committer: People with direct write/push access to the repositories in the seL4 GitHub org. These are the people that can merge pull requests.

    The role does not automatically confer membership or voting rights in the TSC.

    Current members are the members of the Committers team on the seL4 GitHub organisation. These include all of the TSC members and the following people:

    • Ryan Barry, Proofcraft
    • Peter Chubb, UNSW
    • Axel Heider
    • Damon Lee, Kry10
    • Michael McInerney, Proofcraft
    • Johannes Åman Pohjohla, UNSW
    • Robert Sison, UNSW
    • Miki Tanaka, UNSW
    • Ivan Velickovic, UNSW
    • Jingyao Zhou, UNSW
    • Indan Zupancic

     

  • SysAdmin People with admin access to the seL4 GitHub org and repositories for purely administrative purposes, e.g. maintenance of CI infrastructure and repo membership/access control.

    The role does not confer membership or voting rights in the TSC.

    Current members are:

    • Peter Chubb, UNSW

     

  • TSC member: a member of the Technical Steering Committee of the seL4 Foundation. This is the body that decides on the technical direction of the project, sets processes, guidelines, etc. Meetings of the TSC are public and will be announced on the seL4 developer mailing list.

    See the TSC page for current members. TSC members have at least Committer access to the seL4 GitHub repositories.