From: Daniel Bristot de Oliveira <bristot@kernel.org>
To: Steven Rostedt <rostedt@goodmis.org>, linux-trace-devel@vger.kernel.org
Cc: Daniel Bristot de Oliveira <bristot@kernel.org>,
Jonathan Corbet <corbet@lwn.net>,
linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: [PATCH V2 0/3] verification/rv: Add rv tool
Date: Fri, 11 Nov 2022 16:53:04 +0100 [thread overview]
Message-ID: <cover.1668180100.git.bristot@kernel.org> (raw)
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
--
2.37.3
next reply other threads:[~2022-11-11 15:53 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-11-11 15:53 Daniel Bristot de Oliveira [this message]
2022-11-11 15:53 ` [PATCH V2 1/3] rv: Add rv tool Daniel Bristot de Oliveira
2022-11-11 15:53 ` [PATCH V2 2/3] tools/rv: Add in-kernel monitor interface Daniel Bristot de Oliveira
2022-11-11 15:53 ` [PATCH V2 3/3] Documentation/rv: Add verification/rv man pages Daniel Bristot de Oliveira
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=cover.1668180100.git.bristot@kernel.org \
--to=bristot@kernel.org \
--cc=corbet@lwn.net \
--cc=linux-doc@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-trace-devel@vger.kernel.org \
--cc=rostedt@goodmis.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).