aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/kernel/trace/rv/monitors/wip/wip.h (follow)
AgeCommit message (Expand)AuthorFilesLines
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco1-0/+1
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati1-1/+1
2022-09-06rv/monitors: Make monitor's automata definition staticDaniel Bristot de Oliveira1-1/+1
2022-07-30rv/monitor: Add the wip monitor skeleton created by dot2kDaniel Bristot de Oliveira1-0/+46