Investigate running MCS on Qemu simulation targets

Open lsf37 opened this issue 3 years ago • 0 comments

(Imported form https://sel4.atlassian.net/browse/SELFOUR-2377)

simulation sel4test builds don't run any MCS configurations. Historically this was because of many of the tests are time sensitive and don't handle Qemu's emulation of time very well.

When done, switch on in CI (see seL4/ci-actions#188).

Feb 08 '22 22:02 lsf37