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