summaryrefslogtreecommitdiff
path: root/kernel/trace/rv/rv.h
AgeCommit message (Expand)Author
6 daysrv: Remove rv_reactor's reference counterNam Cao
6 daysrv: Merge struct rv_reactor_def into struct rv_reactorNam Cao
6 daysrv: Merge struct rv_monitor_def into struct rv_monitorNam Cao
6 daysrv: Remove unused field in struct rv_monitor_defNam Cao
2025-03-24rv: Add option for nested monitors and include schedGabriele Monaco
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira