summaryrefslogtreecommitdiff
path: root/kernel/trace/rv/Kconfig
AgeCommit message (Expand)AuthorFilesLines
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco1-0/+1
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco1-0/+2
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco1-2/+1
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco1-0/+5
2025-07-24verification/rvgen: Organise Kconfig entries for nested monitorsGabriele Monaco1-0/+5
2025-07-09rv: Allow to configure the number of per-task monitorNam Cao1-0/+9
2025-07-09rv: Add rtapp_sleep monitorNam Cao1-1/+2
2025-07-09rv: Add rtapp_pagefault monitorNam Cao1-0/+1
2025-07-09rv: Add rtapp container monitorNam Cao1-0/+1
2025-07-09rv: Add support for LTL monitorsNam Cao1-0/+7
2025-07-09rv: rename CONFIG_DA_MON_EVENTS to CONFIG_RV_MON_EVENTSNam Cao1-3/+3
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco1-0/+3
2025-03-24rv: Add snroc per-task monitorGabriele Monaco1-0/+1
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco1-0/+2
2025-03-24rv: Add option for nested monitors and include schedGabriele Monaco1-0/+1
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco1-1/+1
2024-12-27rv: Simplify manual steps in monitor creationGabriele Monaco1-23/+2
2022-07-30rv/reactor: Add the panic reactorDaniel Bristot de Oliveira1-0/+8
2022-07-30rv/reactor: Add the printk reactorDaniel Bristot de Oliveira1-0/+8
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira1-0/+12
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira1-0/+13
2022-07-30Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira1-0/+3
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+11
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira1-0/+11
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira1-0/+12
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-17 14:40:52 +0000