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