search

seL4 / sel4test

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

schedcontext: Fix SCHED_CONTEXT_0012 test #37

Closed nomadeel closed 3 years ago

nomadeel commented 3 years ago

The SCHED_CONTEXT_0012 test was based off the old MCS implementation where an unordered reply object revoke will still give the scheduling context back to the original owner.

Signed-off-by: Damon Lee Damon.Lee@data61.csiro.au

nomadeel commented 3 years ago

I tested it and it works with the containers, so it should also work in CI. Hopefully.