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

update README and CONTRIBUTING links 

(after seL4.systems update)
This commit is contained in:
Gerwin Klein 2015-10-14 09:49:53 +11:00
parent d28994d860
commit a4519c5246
2 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
CONTRIBUTING.md
View File

@ -3,18 +3,18 @@ Contributions to the seL4 kernel verification repository are welcome!
## CLA
Please note that GD and NICTA require a contributor license agreement (CLA) to
be signed for all external contributions. Please see
https://seL4.systems/Contributing for details (it is a fairly short and
standard CLA).
Please note that GD and NICTA require a contributor license agreement (CLA)
to be signed for all external contributions. Please see
https://seL4.systems/Community/Contributing for details (it is a fairly short
and standard CLA).
For the `seL4/l4v` repository, we can review pull requests directly on github
if we have a signed CLA on file, no need to email a patch.
If you have only small trivial changes such as style, typos, comments, or white
space and don't want to sign a CLA for that, please file an issue in the github
issue tracker, we'll usually be happy to do the change for you and attribute
your idea by linking to the github issue in the change set comment.
If you have only small trivial changes such as style, typos, comments, or
white space and don't want to sign a CLA for that, please file an issue in
the github issue tracker, we'll usually be happy to do the change for you and
attribute your idea by linking to the github issue in the change set comment.
## Build

2
README.md
View File

@ -158,7 +158,7 @@ need a gcc-compatible C pre-processor and python. Try the following steps:
[7]: http://mlton.org "MLton ML compiler"
[8]: http://sel4.systems/Download/DebianToolChain "seL4 tool chain setup"
[8]: http://sel4.systems/Info/GettingStarted/DebianToolChain.pml "seL4 tool chain setup"
[9]: https://pypi.python.org/pypi/setuptools "python package installer"