Gabriele Monaco <[email protected]> writes: > On Wed, 2025-08-06 at 10:01 +0200, Nam Cao wrote: >> Add "real-time scheduling" monitor, which validates that SCHED_RR and >> SCHED_FIFO tasks are scheduled before tasks with normal and >> extensible scheduling policies >> >> Signed-off-by: Nam Cao <[email protected]> >> --- >> v2: >> - use the new tracepoints >> - move to be under the rtapp container monitor >> - re-generate with the modified scripts >> - fixup incorrect enqueued status >> --- >> Documentation/trace/rv/monitor_sched.rst | 19 +++ >> tools/verification/models/sched/rts.ltl | 5 + > > You moved it under rtapp, you probably want to move the LTL model and > the descriptions there too.
Ah, missed this one, thanks for pointing it out. Nam
