aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/kernel/trace/rv/monitors/opid
AgeCommit message (Expand)AuthorFilesLines
2026-07-31rv: Add KUnit tests for some DA/HA monitorsGabriele Monaco3-0/+68
2026-06-03rv: Use 0 to check preemption enabled in opidGabriele Monaco1-7/+1
2026-06-03rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco1-2/+2
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco4-151/+59
2026-01-12verification/dot2c: Remove superfluous enum assignment and add last commaGabriele Monaco1-11/+11
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco2-21/+21
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco4-0/+306