aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/kernel/trace/rv/monitors/opid
AgeCommit message (Expand)AuthorFilesLines
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