On Mon, Jul 28, 2025 at 03:50:21PM +0200, Gabriele Monaco wrote: > Add a per-cpu monitor as part of the sched model: > * opid: operations with preemption and irq disabled > Monitor to ensure wakeup and need_resched occur with irq and > preemption disabled or in irq handlers. > > Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx> The monitor implementation looks fine: Acked-by: Nam Cao <namcao@xxxxxxxxxxxxx> And on x86 and riscv64: Tested-by: Nam Cao <namcao@xxxxxxxxxxxxx>
