1<!--
2     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3
4     SPDX-License-Identifier: CC-BY-SA-4.0
5-->
6
7# License
8
9The files in this repository are released under standard open source licenses.
10Typically, proofs about the seL4 kernel code itself are licensed under GPL
11version 2, and general libraries and tools under the 2-Clause BSD license.
12
13Please see the individual file headers for details. Each file either contains
14an [SPDX][1] tag with license information or is listed in the [`dep5`][2] file.
15The full text of all licenses mentioned in this repository is available in the
16[`LICENSES/`][3] directory.
17
18If required, the [`reuse`][4] tool can generate a full bill of materials.
19
20[1]: https://spdx.org
21[2]: .reuse/dep5
22[3]: LICENSES/
23[4]: https://github.com/fsfe/reuse-tool
24