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