summaryrefslogtreecommitdiff
path: root/kernel/trace/rv/rv.h
AgeCommit message (Expand)AuthorFilesLines
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira1-0/+35
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira1-0/+33