summaryrefslogtreecommitdiffstats
path: root/tools/verification/rv/src/in_kernel.c
Commit message (Expand)AuthorAgeFilesLines
* tools/rv: Fix curr_reactor uninitialized variableDaniel Bristot de Oliveira2024-02-121-1/+1
* tools/rv: Remove unneeded semicolonzhang songyi2023-01-311-1/+1
* tools/rv: Add in-kernel monitor interfaceDaniel Bristot de Oliveira2022-12-091-0/+698