search

seL4 / sel4runtime

A minimal runtime for seL4 applications.
Other
11 stars 29 forks source link

Add GitHub action for sel4test simulations #11

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

This repo is part of the sel4test manifest, so should run sel4test on changes.