portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

extract license remark into own file

Browse source 
github detects LICENSE.md files and links to them, so put the license
information there instead of the README.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-04-01 15:51:08 +08:00
parent dda85f2cec
commit b2971ca253
2 changed files with 27 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
LICENSE.md Normal file
View file

@ -0,0 +1,27 @@
<!--
Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
SPDX-License-Identifier: CC-BY-SA-4.0
-->
# License
The files in this repository are released under standard open source
licenses, identified by [SPDX license tags][1]. Generally, kernel-level
code is licensed under GPLv2 and user-level code under the 2-clause BSD
license. See the individual file headers for details, or use one of the
publicly available SPDX tools to generate a bill of materials. The
directory `LICENSES` contains the text for all licenses that are
mentioned by files in this repository.
### GPL syscall note
Note that, as in the [Linux syscall note for the GPL][2], the seL4
kernel GPL license does *not* cover user-level code that uses kernel
services by normal system calls - this is merely considered normal use
of the kernel, and does *not* fall under the heading of "derived work".
Syscall headers are provided under BSD.
[1]: https://spdx.org
[2]: https://spdx.org/licenses/Linux-syscall-note.html

21
README.md
View file

@ -47,24 +47,3 @@ Build Instructions
------------------
See the seL4 website for [build instructions][6].
License
=======
The files in this repository are released under standard open source
licenses, identified by [SPDX license tags][7]. Generally, kernel-level
code is licensed under GPLv2 and user-level code under the 2-clause BSD
license. See the individual file headers for details, or use one of the
publicly available SPDX tools to generate a bill of materials. The
directory `LICENSES` contains the text for all licenses that are
mentioned by files in this repository.
### GPL syscall note
Note that, as in the [Linux syscall note for the GPL][8], the seL4
kernel GPL license does *not* cover user-level code that uses kernel
services by normal system calls - this is merely considered normal use
of the kernel, and does *not* fall under the heading of "derived work".
Syscall headers are provided under BSD.
[7]: https://spdx.org
[8]: https://spdx.org/licenses/Linux-syscall-note.html