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
10licenses, identified by [SPDX license tags][1]. Generally, kernel-level
11code is licensed under GPLv2 and user-level code under the 2-clause BSD
12license. See the individual file headers for details, or use one of the
13publicly available SPDX tools to generate a bill of materials. The
14directory `LICENSES` contains the text for all licenses that are
15mentioned by files in this repository.
16
17
18### GPL syscall note
19Note that, as in the [Linux syscall note for the GPL][2], the seL4
20kernel GPL license does *not* cover user-level code that uses kernel
21services by normal system calls - this is merely considered normal use
22of the kernel, and does *not* fall under the heading of "derived work".
23Syscall headers are provided under BSD.
24
25
26[1]: https://spdx.org
27[2]: https://spdx.org/licenses/Linux-syscall-note.html