Michael McInerney b93de1fdd5 mcs: use sc_active in isSchedulable ... Signed-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>		2024-06-22 18:06:05 +10: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: remove getKernelWcetTicks from refill_ready	2023-11-08 11:01:00 +11:00
stack.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
thread.h	mcs: use sc_active in isSchedulable	2024-06-22 18:06:05 +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