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