1Contributions to the seL4 kernel verification repository are welcome!
2
3
4## CLA
5
6Please note that GD and NICTA require a contributor license agreement (CLA)
7to be signed for all external contributions. Please see
8https://seL4.systems/Community/Contributing for details (it is a fairly short
9and standard CLA).
10
11For the `seL4/l4v` repository, we can review pull requests directly on github
12if we have a signed CLA on file, no need to email a patch.
13
14If you have only small trivial changes such as style, typos, comments, or
15white space and don't want to sign a CLA for that, please file an issue in
16the github issue tracker, we'll usually be happy to do the change for you and
17attribute your idea by linking to the github issue in the change set comment.
18
19
20## Build
21
22If you're modifying existing proofs, texts, or tools, please make sure the
23repository still builds before you send the pull requests by running the overall regression test in the repository root:
24
25    ./run_tests
26
27
28## Contact
29
30If you have larger changes or additions, it might be a good idea to get in
31contact with us as <devel@sel4.systems>, so we can help you get started.
32