secc
/
seL4-camkes
mirror of https://github.com/seL4/camkes.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-camkes/tests
History
Gerwin Klein 3eff84e818 drop support for Cogent 
The Cogent project is no longer actively developed on top of seL4, and
the upstream build has broken.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2023-05-26 17:41:46 +10:00
..
CMakeLists.txt drop support for Cogent 2023-05-26 17:41:46 +10:00
Makefile Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
test_launcher.sh Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
test_script.tcl.in Convert license tags to SPDX 2020-12-03 10:38:54 +11:00