seL4-microkit/LICENSES
Gerwin Klein c0e7c9db66 docs: type set manual in seL4 foundation style
Co-authored-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2024-06-27 10:54:11 +10:00
..
BSD-2-Clause.txt Add missing license headers and texts 2023-09-13 13:00:29 +02:00
CC-BY-SA-4.0.txt Add missing license headers and texts 2023-09-13 13:00:29 +02:00
LicenseRef-Trademark.txt docs: type set manual in seL4 foundation style 2024-06-27 10:54:11 +10:00