Thanks. FWIW our riscv32 mcs tests run reliably under renode should you be
interested in using a different simulator. It appears the 64-bit
aarch64/raspi qemu runs only fail on the cited test so I'll probably just
disable the test.
On Tue, Jan 10, 2023 at 6:58 PM Ivan Velickovic
wrote:
> Hello S
Hello Sam
Myself and Gerwin attempted to get simulation platforms working with MCS for
the CI and noticed that the MCS tests were not consistently passing. I don’t
think it’s a bug with the kernel but rather to do with how QEMU emulates
timers. There’s more details here: https://github.com/seL4
