Re: [PATCH v2 5/5] rv: Add rts monitor

[Nam Cao]

Gabriele Monaco <gmonaco@xxxxxxxxxx> 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 <namcao@xxxxxxxxxxxxx>
>> ---
>> 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