diff options
| author | Daniel Bristot de Oliveira <bristot@kernel.org> | 2022-11-11 16:53:07 +0100 |
|---|---|---|
| committer | Steven Rostedt (Google) <rostedt@goodmis.org> | 2022-12-10 00:06:24 +0100 |
| commit | afc70ccb962861e068e04c6089827493f5160a0a (patch) | |
| tree | 22e7f85e80cd0a399beb0826303da395251edb4a /Documentation/tools/rv/index.rst | |
| parent | tools/rv: Add in-kernel monitor interface (diff) | |
| download | linux-afc70ccb962861e068e04c6089827493f5160a0a.tar.xz linux-afc70ccb962861e068e04c6089827493f5160a0a.zip | |
Documentation/rv: Add verification/rv man pages
Add man pages for the rv command line, using the same scheme we used
in rtla.
Link: https://lkml.kernel.org/r/e841d7cfbdfc3ebdaf7cbd40278571940145d829.1668180100.git.bristot@kernel.org
Cc: Jonathan Corbet <corbet@lwn.net>
Signed-off-by: Daniel Bristot de Oliveira <bristot@kernel.org>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
Diffstat (limited to 'Documentation/tools/rv/index.rst')
| -rw-r--r-- | Documentation/tools/rv/index.rst | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Documentation/tools/rv/index.rst b/Documentation/tools/rv/index.rst new file mode 100644 index 000000000000..8fd16d91d639 --- /dev/null +++ b/Documentation/tools/rv/index.rst @@ -0,0 +1,24 @@ +.. SPDX-License-Identifier: GPL-2.0 + +============================== +Runtime verification (rv) tool +============================== + +**rv** tool provides the interface for a collection of runtime verification +(rv) monitors. + +.. toctree:: + :maxdepth: 1 + + rv + rv-list + rv-mon + rv-mon-wip + rv-mon-wwnr + +.. only:: subproject and html + + Indices + ======= + + * :ref:`genindex` |