[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <cover.1666776642.git.bristot@kernel.org>
Date: Wed, 26 Oct 2022 12:44:38 +0200
From: Daniel Bristot de Oliveira <bristot@...nel.org>
To: Steven Rostedt <rostedt@...dmis.org>,
linux-trace-devel@...r.kernel.org
Cc: Daniel Bristot de Oliveira <bristot@...nel.org>,
Jonathan Corbet <corbet@....net>, linux-doc@...r.kernel.org,
linux-kernel@...r.kernel.org
Subject: [PATCH 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.
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 | 13 +
Documentation/tools/rv/common_ikm.rst | 21 +
Documentation/tools/rv/index.rst | 24 +
Documentation/tools/rv/rv-list.rst | 39 ++
Documentation/tools/rv/rv-mon-wip.rst | 40 ++
Documentation/tools/rv/rv-mon-wwnr.rst | 39 ++
Documentation/tools/rv/rv-mon.rst | 51 ++
Documentation/tools/rv/rv.rst | 57 ++
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 | 177 ++++++
tools/verification/rv/src/trace.c | 128 ++++
tools/verification/rv/src/utils.c | 46 ++
20 files changed, 1604 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
--
2.37.3
Powered by blists - more mailing lists