search

seL4 / camkes

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

Update aeroplage app #3

Closed podhrmic closed 7 years ago

podhrmic commented 7 years ago

so it runs in qemu again.

kent-mcleod commented 7 years ago

Thanks a lot! Any ideas about how we could test this automatically to ensure that it stays working?