search

seL4 / camkes

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

github: add simulation tests for camkes + VMs #24

Closed lsf37 closed 2 years ago

lsf37 commented 2 years ago

These can run on all pull requests and don't include hardware tests.