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
9Please see the [contributing guidelines][1] on the [seL4 website][2] for
10details.
11
12[1]: https://docs.sel4.systems/processes/contributing.html
13[2]: https://sel4.systems
14
15
16## Contact
17
18If you have larger changes or additions, it is a good idea to get in contact
19with us as <devel@sel4.systems>, so we can help you get started.
20
21The people responsible for the technical direction, procedures, and quality
22control are the [Technical Steering Committee][3] (TSC) of the seL4
23foundation. You can contact them either on the developer mailing list or on
24directly via email available from their profile pages.
25
26[3]: https://sel4.systems/Foundation/TSC
27
28
29## Developer Certificate of Origin (DCO)
30
31This repository uses the same sign-off process as the Linux kernel. For every
32commit, use
33
34    git commit -s
35
36to add a sign-off line to your commit message, which will come out as:
37
38    Signed-off-by: name <email>
39
40By adding this line, you make the declaration that you have the right to make
41this contribution under the open source license the files use that you changed
42or contributed.
43
44The full text of the declaration is at <https://developercertificate.org>.
45