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 repository are welcome!
10
11## Kernel Development Process
12
13In addition to our general [contribution guidelines][1], the kernel has additional git history requirements:
14
15* Please try to make sure every commit is in a working state to facilitate bisecting.
16    + unless there is a concrete reason, if so please state that reason in the commit message.
17* Try to keep commits small for ease of reviewing.
18
19[1]: https://docs.sel4.systems/Contributing
20
21## Build/Test
22
23Generally, any contributions should pass the tests in the project
24<https://github.com/seL4/sel4test>. If new features or platforms are added,
25they should add corresponding tests in `sel4test`.
26
27Contributions to `master` should additionally either be invisible to the proof
28in <https://github.com/seL4/l4v>, such as comments, documentation, style,
29unverified platform, etc, or they should come with proof updates to `l4v`.
30
31## Contact
32
33If you have larger changes or additions, it is a good idea to get in contact
34with us as <devel@sel4.systems>, so we can help you get started.
35
36The people responsible for the technical direction, procedures, and quality
37control are the [Technical Steering Committee][2] (TSC) of the seL4
38foundation. You can contact them either on the developer mailing list or on
39directly via email available from their profile pages.
40
41[2]: https://sel4.systems/Foundation/TSC
42
43## Developer Certificate of Origin (DCO)
44
45This repository uses the same sign-off process as the Linux kernel. For every
46commit, use
47
48    git commit -s
49
50to add a sign-off line to your commit message, which will come out as:
51
52    Signed-off-by: name <email>
53
54By adding this line, you make the declaration that you have the right to make
55this contribution under the open source license the files use that you changed
56or contributed.
57
58The full text of the declaration is at <https://developercertificate.org>.
59