summaryrefslogtreecommitdiff
path: root/kernel/trace/rv/Kconfig
AgeCommit message (Expand)Author
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco
2025-03-24rv: Add snroc per-task monitorGabriele Monaco
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco
2025-03-24rv: Add option for nested monitors and include schedGabriele Monaco
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco
2024-12-27rv: Simplify manual steps in monitor creationGabriele Monaco
2022-07-30rv/reactor: Add the panic reactorDaniel Bristot de Oliveira
2022-07-30rv/reactor: Add the printk reactorDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira
2022-07-30Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira
generated by cgit (git 2.34.1) at 2025-07-24 16:03:16 +0000