We welcome contributions to the seL4 project sources. For contributions to this documentation site, please see our docs contribution guidelines.
Please read and abide by the following conventions when contributing:
We have two main groups of publicly hosted projects:
- https://github.com/sel4 (requires CLA)
- https://github.com/sel4proj (No CLA)
All submissions to repositories under https://github.com/sel4 require a signed contributor license agreement (CLA), which ceritfies:
- That you have the rights to give us the contribution, and
- That you give us the rights to use your contribution.
If required, please sign the Contributor License Agreement, scan it and send it to us at ''licensing AT sel4.systems.''
Figure 1 illustrates the contribution process. Once your pull request is approved, it will be merged internally and pushed out to github.
See Suggested Projects for suggestions on where to contribute.