mirror of
git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
synced 2025-08-05 16:54:27 +00:00
4bb5d82b66
The pages Documentation/tools/rv/rv-mon-sched.rst and
Documentation/trace/rv/monitor_sched.rst were introduced but not
included in any index.
Add them to the respective indices.
Cc: Jonathan Corbet <corbet@lwn.net>
Link: https://lore.kernel.org/20250327081240.46422-1-gmonaco@redhat.com
Reported-by: Stephen Rothwell <sfr@canb.auug.org.au>
Fixes: 03abeaa63c ("Documentation/rv: Add docs for the sched monitors")
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
25 lines
402 B
ReStructuredText
25 lines
402 B
ReStructuredText
.. 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
|
|
rv-mon-sched
|
|
|
|
.. only:: subproject and html
|
|
|
|
Indices
|
|
=======
|
|
|
|
* :ref:`genindex`
|