Contribution overview

Overview of guidelines and processes for contributing to the seL4 ecosystem.

Contribution Guidelines

Guidelines on how to contribute to the seL4 ecosystem.

Code of Conduct

Rules for interaction.

Coding Conventions & Requirements

Requirements for C Code, Git Commits, Pull Requests.

RFC Process

When and how to write an RFC.

Platform Contributions

Contributing and maintaining a platform port.

Development Roles

Contributors, Reviewers, Committers, TSC.