summaryrefslogtreecommitdiffstats
path: root/kernel/trace/rv/rv.h
Commit message (Expand)AuthorAgeFilesLines
* rv: Add runtime reactors interfaceDaniel Bristot de Oliveira2022-07-301-0/+35
* rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira2022-07-301-0/+33