secc
/
seL4-camkes
mirror of https://github.com/seL4/camkes.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-camkes/apps
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
..
RPCOverMultiSharedData Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
adder style: run style formatter on all files 2020-12-07 17:43:48 +11:00
aeroplage style: run style formatter on all files 2020-12-07 17:43:48 +11:00
alignment style: run style formatter on all files 2020-12-07 17:43:48 +11:00
attributes Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
binary-semaphore style: run style formatter on all files 2020-12-07 17:43:48 +11:00
cakeml_hello style: run style formatter on all files 2020-12-07 17:43:48 +11:00
cakeml_regex style: run style formatter on all files 2020-12-07 17:43:48 +11:00
cakeml_tipc style: run style formatter on all files 2020-12-07 17:43:48 +11:00
cms-donate style: run style formatter on all files 2020-12-07 17:43:48 +11:00
cs-donate style: run style formatter on all files 2020-12-07 17:43:48 +11:00
cs-nodonate style: run style formatter on all files 2020-12-07 17:43:48 +11:00
dataport style: run style formatter on all files 2020-12-07 17:43:48 +11:00
debug-simple style: run style formatter on all files 2020-12-07 17:43:48 +11:00
dhcp style: run style formatter on all files 2020-12-07 17:43:48 +11:00
dma-example dma-example: Change to alloc uncached memory 2021-02-09 10:15:44 +11:00
epit Remove kzm platform from camkes example apps 2021-09-30 18:09:53 +10:00
event style: run style formatter on all files 2020-12-07 17:43:48 +11:00
event-driven style: run style formatter on all files 2020-12-07 17:43:48 +11:00
exchangestring style: run style formatter on all files 2020-12-07 17:43:48 +11:00
fdtgen Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
filter style: run style formatter on all files 2020-12-07 17:43:48 +11:00
global-imports style: run style formatter on all files 2020-12-07 17:43:48 +11:00
global_async Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
hellorust style: run style formatter on all files 2020-12-07 17:43:48 +11:00
hierarchical-attributes style: run style formatter on all files 2020-12-07 17:43:48 +11:00
hierarchical-components style: run style formatter on all files 2020-12-07 17:43:48 +11:00
keyboard style: run style formatter on all files 2020-12-07 17:43:48 +11:00
lockserver style: run style formatter on all files 2020-12-07 17:43:48 +11:00
mcs-donate style: run style formatter on all files 2020-12-07 17:43:48 +11:00
mcs-nodonate style: run style formatter on all files 2020-12-07 17:43:48 +11:00
mcs-scheduling Pass KernelSel4Arch for simulation settings 2021-02-04 14:00:48 +11:00
multiassembly style: run style formatter on all files 2020-12-07 17:43:48 +11:00
multiclient style: run style formatter on all files 2020-12-07 17:43:48 +11:00
multiplier style: run style formatter on all files 2020-12-07 17:43:48 +11:00
mutex mutex: Tweak example output for test stability 2021-12-08 18:17:15 +11:00
periodic style: run style formatter on all files 2020-12-07 17:43:48 +11:00
picoserver picoserver: Create settings.cmake 2021-04-06 13:46:45 +10:00
picotcp_single_component picotcp_single_component: Use uncached DMA 2021-02-09 16:37:38 +11:00
picotcp_tcp_echo Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
pit Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
reversestring style: run style formatter on all files 2020-12-07 17:43:48 +11:00
rotate style: run style formatter on all files 2020-12-07 17:43:48 +11:00
rumprun_ethernet style: run style formatter on all files 2020-12-07 17:43:48 +11:00
rumprun_hello style: run style formatter on all files 2020-12-07 17:43:48 +11:00
rumprun_pthreads style: run style formatter on all files 2020-12-07 17:43:48 +11:00
rumprun_rust style: run style formatter on all files 2020-12-07 17:43:48 +11:00
serialserver_interrupt Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
serialserver_loopback style: run style formatter on all files 2020-12-07 17:43:48 +11:00
serialserver_polling Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
simple style: run style formatter on all files 2020-12-07 17:43:48 +11:00
simplesingleaddressspace style: run style formatter on all files 2020-12-07 17:43:48 +11:00
socket style: run style formatter on all files 2020-12-07 17:43:48 +11:00
structs style: run style formatter on all files 2020-12-07 17:43:48 +11:00
swapcounter style: run style formatter on all files 2020-12-07 17:43:48 +11:00
terminal style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testbufvariant style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testcamkes438 style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testcontrolname style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testdataportbifurcate style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testdataportmux style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testdataportmuxflat style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testdataportptrwrap style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testdataportrpc style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testfaulthandlers style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testgrouping style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testgroupingcontrol style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testhardwareinterrupt style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testhwdataportlrgpages style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testnto1mmio Remove kzm platform from camkes example apps 2021-09-30 18:09:53 +10:00
testnto1overload style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testrefin style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testreplycapprotection style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testsel4notification style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testsingleaddressspaceheap style: run style formatter on all files 2020-12-07 17:43:48 +11:00
teststringarrays style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testsyscalls style: run style formatter on all files 2020-12-07 17:43:48 +11:00
testunderscorename style: run style formatter on all files 2020-12-07 17:43:48 +11:00
timeserver Convert license tags to SPDX 2020-12-03 10:38:54 +11:00
uart uart: Change app to use sabre instead of kzm 2021-09-30 18:09:53 +10:00
vgatest style: run style formatter on all files 2020-12-07 17:43:48 +11:00
rumprun_common.cmake Convert license tags to SPDX 2020-12-03 10:38:54 +11:00