secc
/
seL4_projects_libs
mirror of https://github.com/seL4/seL4_projects_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4_projects_libs/libsel4vchan
History
Gerwin Klein 46f6dc9c0c remove obsolete LICENSE_* files 
These are already covered by the LICENSES/ directory and SPDX
identifiers.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-05-26 09:59:17 +02:00
..
include Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
src Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
CMakeLists.txt Convert to SPDX license tags 2020-11-28 17:19:21 +11:00