sevki
c9e1dba412
setup CI/CD for kernel development - added CodeQL for code scanning - every pr is built as an image and is available for 30days on https://oklinux.dev - tagged and released on github for now Signed-off-by: sevki <s@sevki.io>
24 lines
386 B
ReStructuredText
24 lines
386 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
|
|
|
|
.. only:: subproject and html
|
|
|
|
Indices
|
|
=======
|
|
|
|
* :ref:`genindex`
|