(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).
(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).