adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

contributing: link and contact info for TSC 

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-04-06 20:45:15 +08:00
parent c07c499c17
commit c148267df7
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
CONTRIBUTING.md
View File

@ -24,6 +24,13 @@ repository still builds before you send the pull requests by running the overall
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][1] (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.
[1]: https://sel4.systems/Foundation/TSC
## Developer Certificate of Origin (DCO)