search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
25 stars 63 forks source link

Resolve issues with SCHED0000 test #62

Closed kent-mcleod closed 2 years ago

kent-mcleod commented 2 years ago

Resolves https://github.com/seL4/sel4test/issues/61