summaryrefslogtreecommitdiffstats
path: root/tools/verification/rv/include
AgeCommit message (Expand)AuthorLines
2025-03-24tools/rv: Allow rv list to filter for containerGabriele Monaco-1/+1
2025-03-24tools/rv: Add support for nested monitorsGabriele Monaco-0/+1
2025-03-24sched: Add sched tracepoints for RV task modelGabriele Monaco-1/+1
2022-12-09tools/rv: Add in-kernel monitor interfaceDaniel Bristot de Oliveira-0/+3
2022-12-09rv: Add rv toolDaniel Bristot de Oliveira-0/+36