search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
51 stars 64 forks source link

Add GitHub action for sel4test simulation #38

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

(adding this to all repos in the sel4test manifest)