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 tag with license information or is listed in the dep5 file.
The full text of all licenses mentioned in this repository is available in the
LICENSES/ directory.
If required, the reuse tool can generate a full bill of materials.