seL4/include/kernel
Nick Spinale c49ed7c152 boot: skip clock sync test on qemu-arm-virt
This sanity check does not pass reliably on qemu-arm-virt due to it
being a virtualized platform.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
2023-10-24 20:38:43 +11:00
..
boot.h boot: skip clock sync test on qemu-arm-virt 2023-10-24 20:38:43 +11:00
cspace.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
faulthandler.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
sporadic.h mcs: rephrase refill_capacity to ease verification 2023-10-24 08:43:03 +11:00
stack.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
thread.h use types time_t and tickts_t properly 2023-08-14 15:41:57 +10:00
traps.h KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
vspace.h Make kernel log buffer derived from cmake config 2020-11-10 16:24:43 +11:00