mbox series

[V2,0/3] verification/rv: Add rv tool

Message ID cover.1668180100.git.bristot@kernel.org (mailing list archive)
Headers show
Series verification/rv: Add rv tool | expand

Message

Daniel Bristot de Oliveira Nov. 11, 2022, 3:53 p.m. UTC 
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