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:

Contributor license agreement:

We have two main groups of publicly hosted projects:

All submissions to repositories under require a signed contributor license agreement (CLA), which ceritfies:

If required, please sign the Contributor License Agreement, scan it and send it to us at ‘‘licensing AT’’

Sign CLA before submitting pull request.  Pull requests undergo code review before being accepted

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.