seL4/include/kernel
Ivan Velickovic 0f497ab3a0 Disable clock sync test on QEMU RISC-V
This will sometimes fail when using QEMU RISC-V virt
with multiple cores, make the behaviour consistent as
QEMU ARM virt.

Given that QEMU is not intended to be a cycle accurate
simulator, I imagine that is why this does not reliably
succeed.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
2025-11-20 16:24:55 +11:00
..
boot.h Disable clock sync test on QEMU RISC-V 2025-11-20 16:24:55 +11:00
cspace.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
faulthandler.h mcs: small changes to ease verification 2025-03-21 16:48:00 +11:00
sporadic.h treewide: typo fixes 2025-04-14 12:05:16 +10:00
stack.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
thread.h arm: flush vcpu when setting domain of a thread 2025-11-16 19:52:27 +11:00
traps.h debug: invalidate ksKernelEntry on kernel exit 2025-08-20 15:57:58 +01:00
vspace.h Make kernel log buffer derived from cmake config 2020-11-10 16:24:43 +11:00