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 <gmon...@redhat.com>
The monitor implementation looks fine: Acked-by: Nam Cao <nam...@linutronix.de> And on x86 and riscv64: Tested-by: Nam Cao <nam...@linutronix.de>
