verification/rv: Add rv tool
Get series with b4
b4 am [email protected]Versions newest first · linked by author and title
- v2 Latest3 patches 0 repliesNew
- v13 patches 1 replySuperseded
Changes in v2 from the cover letter
- typos and format
- fixed __ikm_read_enable() value check in ikm_read_enable()
- adjust patch 2 log
- improved function comments (mainly those /**).
Patches in v2 No applies recorded yet
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/3 | Add rv tooltools/ tools/ tools/ +5 more | +558 | 0 replies | |
| 2/3 | tools/rv: Add in-kernel monitor interfacetools/ tools/ tools/ | +704 | 0 replies | |
| 3/3 | Documentation/rv: Add verification/rv man pagesDocumentation/ Documentation/ Documentation/ +8 more | +386 | 0 replies |
Reviews trailers per patch
No Reviewed-by, Acked-by or Tested-by trailers for v2 yet.
Cover letter [PATCH V2 0/3] verification/rv: Add rv tool
This is the (user-space) runtime verification tool named rv.
This tool aims to be the interface for in-kernel rv monitors, as well as the home for user-space controlled monitors.
The tool receives a command as the first argument, the current commands are:
list - list all available monitors
mon - run a given monitor
Each monitor is an independent piece of software inside the tool and can have their own arguments.
Changes from v1:
- typos and format
- fixed __ikm_read_enable() value check in ikm_read_enable()
- adjust patch 2 log
- improved function comments (mainly those /**).
Daniel Bristot de Oliveira (3):
rv: Add rv tool
tools/rv: Add in-kernel monitor interface
Documentation/rv: Add verification/rv man pages
Documentation/tools/index.rst | 1 + Documentation/tools/rv/Makefile | 52 ++ Documentation/tools/rv/common_appendix.rst | 16 + Documentation/tools/rv/common_ikm.rst | 21 + Documentation/tools/rv/index.rst | 24 + Documentation/tools/rv/rv-list.rst | 43 ++ Documentation/tools/rv/rv-mon-wip.rst | 44 ++ Documentation/tools/rv/rv-mon-wwnr.rst | 43 ++ Documentation/tools/rv/rv-mon.rst | 55 ++ Documentation/tools/rv/rv.rst | 63 ++ tools/verification/rv/Makefile | 141 +++++ tools/verification/rv/README.txt | 38 ++ tools/verification/rv/include/in_kernel.h | 3 + tools/verification/rv/include/rv.h | 12 + tools/verification/rv/include/trace.h | 16 + tools/verification/rv/include/utils.h | 8 + tools/verification/rv/src/in_kernel.c | 698 +++++++++++++++++++++ tools/verification/rv/src/rv.c | 188 ++++++ tools/verification/rv/src/trace.c | 133 ++++ tools/verification/rv/src/utils.c | 47 ++ 20 files changed, 1646 insertions(+) create mode 100644 Documentation/tools/rv/Makefile create mode 100644 Documentation/tools/rv/common_appendix.rst create mode 100644 Documentation/tools/rv/common_ikm.rst create mode 100644 Documentation/tools/rv/index.rst create mode 100644 Documentation/tools/rv/rv-list.rst create mode 100644 Documentation/tools/rv/rv-mon-wip.rst create mode 100644 Documentation/tools/rv/rv-mon-wwnr.rst create mode 100644 Documentation/tools/rv/rv-mon.rst create mode 100644 Documentation/tools/rv/rv.rst create mode 100644 tools/verification/rv/Makefile create mode 100644 tools/verification/rv/README.txt create mode 100644 tools/verification/rv/include/in_kernel.h create mode 100644 tools/verification/rv/include/rv.h create mode 100644 tools/verification/rv/include/trace.h create mode 100644 tools/verification/rv/include/utils.h create mode 100644 tools/verification/rv/src/in_kernel.c create mode 100644 tools/verification/rv/src/rv.c create mode 100644 tools/verification/rv/src/trace.c create mode 100644 tools/verification/rv/src/utils.c
Signature · 1 line
2.37.3