search

seL4 / camkes

Component Architecture test suite and example apps.
https://docs.sel4.systems/CAmkES/
Other
27 stars 37 forks source link

drop support for Cogent #28

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

The Cogent project is no longer actively developed on top of seL4, and the upstream build has broken.