summaryrefslogtreecommitdiffstats
path: root/tools/verification/models/sched
AgeCommit message (Expand)AuthorLines
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco-0/+35
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco-0/+59
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco-36/+38
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco-0/+54
2025-03-24rv: Add snroc per-task monitorGabriele Monaco-0/+18
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco-0/+36