Cross Reference: /seL4-l4v-master/seL4/LICENSES/

Name		Date	Size
..		30-Nov-2020	30
Apache-2.0.txt	H A D	09-Apr-2020	10.1 KiB
BSD-2-Clause.txt	H A D	09-Apr-2020	1.3 KiB
BSD-3-Clause.txt	H A D	09-Apr-2020	1.4 KiB
CC-BY-SA-4.0.txt	H A D	09-Apr-2020	17.7 KiB
GPL-2.0-only.txt	H A D	09-Apr-2020	17.2 KiB
GPL-2.0-or-later.txt	H A D	09-Apr-2020	17.2 KiB
LPPL-1.3c.txt	H A D	09-Apr-2020	18 KiB
MIT.txt	H A D	03-Jun-2020	1.1 KiB
SHL-0.51.txt	H A D	09-Apr-2020	11.2 KiB