secc
/
seL4-RefOS
mirror of https://github.com/seL4/refos.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-RefOS/impl/apps/process_server
History
Gerwin Klein 2c6109d279 Foundation setup and SPDX license tags 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2021-05-13 10:36:44 +10:00
..
src Foundation setup and SPDX license tags 2021-05-13 10:36:44 +10:00
Kbuild Foundation setup and SPDX license tags 2021-05-13 10:36:44 +10:00
Kconfig Foundation setup and SPDX license tags 2021-05-13 10:36:44 +10:00
LICENSE_BSD2.txt change copyright headers from NICTA to Data61/CSIRO 2016-10-18 15:17:40 +11:00
Makefile Foundation setup and SPDX license tags 2021-05-13 10:36:44 +10:00