search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
24 stars 60 forks source link

CI: the seL4/machine_queue repo is public now #118

Closed axel-h closed 5 months ago

axel-h commented 5 months ago

Apply change from https://github.com/seL4/seL4/pull/1177 here also