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

Update license information and move to LICENSE.md 

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-03-31 09:17:11 +08:00
parent ec93298afa
commit c725ebd7e8
2 changed files with 23 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
LICENSE.md Normal file
View File

@ -0,0 +1,23 @@
<!--
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.
Typically, proofs about the seL4 kernel code itself are licensed under GPL
version 2, and general libraries and tools under the 2-Clause BSD license.
Please see the individual file headers for details. Each file either contains
an [SPDX][1] tag with license information or is listed in the [`dep5`][2] file.
The full text of all licenses mentioned in this repository is available in the
[`LICENSES/`][3] directory.
If required, the [`reuse`][4] tool can generate a full bill of materials.
[1]: https://spdx.org
[2]: .reuse/dep5
[3]: LICENSES/
[4]: https://github.com/fsfe/reuse-tool

10
README.md
View File

@ -303,13 +303,3 @@ run
in `l4v/` and open one of the files in `proof/invariant-abstract`.
License
-------
The files in this repository are released under standard open source
licenses. Please see the individual file headers and
[`LICENSE_GPLv2.txt`](LICENSE_GPLv2.txt) and
[`LICENSE_BSD2.txt`](LICENSE_BSD2.txt) files for details.