| <!-- |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| |
| SPDX-License-Identifier: CC-BY-SA-4.0 |
| --> |
| |
| # Contributions Welcome |
| |
| Please see the [seL4 contributing guidelines][1] on the [seL4 website][2] for |
| details. |
| |
| [1]: https://docs.sel4.systems/processes/contributing.html |
| [2]: https://sel4.systems |
| |
| |
| ## Contact |
| |
| If you have larger changes or additions, it is a good idea to get in contact |
| with us as <devel@sel4.systems>, so we can help you get started. |
| |
| The people responsible for the technical direction, procedures, and quality |
| control are the [Technical Steering Committee][3] (TSC) of the seL4 |
| foundation. You can contact them either on the developer mailing list or on |
| directly via email available from their profile pages. |
| |
| [3]: https://sel4.systems/Foundation/TSC |
| |
| |
| ## Developer Certificate of Origin (DCO) |
| |
| This repository uses the same sign-off process as the Linux kernel. For every |
| commit, use |
| |
| git commit -s |
| |
| to add a sign-off line to your commit message, which will come out as: |
| |
| Signed-off-by: name <email> |
| |
| By adding this line, you make the declaration that you have the right to make |
| this contribution under the open source license the files use that you changed |
| or contributed. |
| |
| The full text of the declaration is at <https://developercertificate.org>. |
