secc
/
seL4-camkes
mirror of https://github.com/seL4/camkes.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-camkes/libs
History
Gerwin Klein e653f3f992 Convert license tags to SPDX 
Also clarifies provenance of code in `apps/fdtgen/fdt_utils.c`

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
 		2020-12-03 10:38:54 +11:00
..
libringbuffer Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
libsel4bga Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
libsel4keyboard Convert license tags to SPDX 2020-12-03 10:38:54 +11:00