Gabriele Monaco [off-list ref] writes:

On Wed, 2025-08-06 at 10:01 +0200, Nam Cao wrote:

quoted

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 <redacted>
---
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