summaryrefslogtreecommitdiffstats
path: root/kernel/trace/rv/Makefile
AgeCommit message (Expand)AuthorLines
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco-0/+1
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco-0/+2
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco-2/+1
2025-07-09rv: Add rtapp_sleep monitorNam Cao-0/+1
2025-07-09rv: Add rtapp_pagefault monitorNam Cao-0/+1
2025-07-09rv: Add rtapp container monitorNam Cao-0/+1
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco-0/+3
2025-03-24rv: Add snroc per-task monitorGabriele Monaco-0/+1
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco-0/+2
2025-03-24rv: Add option for nested monitors and include schedGabriele Monaco-0/+1
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco-0/+1
2024-12-27rv: Simplify manual steps in monitor creationGabriele Monaco-0/+2
2022-07-30rv/reactor: Add the panic reactorDaniel Bristot de Oliveira-0/+1
2022-07-30rv/reactor: Add the printk reactorDaniel Bristot de Oliveira-1/+2
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira-0/+1
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira-0/+1
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira-0/+1
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira-0/+3
generated by cgit v1.2.3 (git 2.46.0) at 2026-03-13 11:24:04 +0000