1<!--
2     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3
4     SPDX-License-Identifier: CC-BY-SA-4.0
5-->
6
7# Contributions Welcome
8
9Contributions to the seL4 kernel verification repository are welcome!
10
11Please raise issues or pull requests on github as usual.
12
13
14## Build
15
16If you're modifying existing proofs, texts, or tools, please make sure the
17repository still builds before you send the pull requests by running the overall regression test in the repository root:
18
19    ./run_tests
20
21
22## Contact
23
24If you have larger changes or additions, it is a good idea to get in contact
25with us as <devel@sel4.systems>, so we can help you get started.
26
27The people responsible for the technical direction, procedures, and quality
28control are the [Technical Steering Committee][1] (TSC) of the seL4
29foundation. You can contact them either on the developer mailing list or on
30directly via email available from their profile pages.
31
32[1]: https://sel4.systems/Foundation/TSC
33
34
35## Developer Certificate of Origin (DCO)
36
37This repository uses the same sign-off process as the Linux kernel. For every
38commit, use
39
40    git commit -s
41
42to add a sign-off line to your commit message, which will come out as:
43
44    Signed-off-by: name <email>
45
46By adding this line, you make the declaration that you have the right to make
47this contribution under the open source license the files use that you changed
48or contributed.
49
50The full text of the declaration is at <https://developercertificate.org>.
51