diff options
author | Brendan Jackman <jackmanb@google.com> | 2024-03-28 13:49:47 +0100 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2024-03-29 15:27:21 +0100 |
commit | 42fb9cfd5b186fe2e615564f0a1bdd424aa1b151 (patch) | |
tree | d438b96db21e21a7f7f6acb34d52d6a09c1ec3ef /Documentation/dev-tools/testing-overview.rst | |
parent | Linux 6.9-rc1 (diff) | |
download | linux-42fb9cfd5b186fe2e615564f0a1bdd424aa1b151.tar.xz linux-42fb9cfd5b186fe2e615564f0a1bdd424aa1b151.zip |
Documentation: dev-tools: Add link to RV docs
I could not remember the name of this system and it's pretty hard to
find without the right keywords. I had to ask an LLM!
Drop a breadcrumb to help people find it in the future.
Signed-off-by: Brendan Jackman <jackmanb@google.com>
Acked-by: Daniel Bristot de Oliveira <bristot@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Link: https://lore.kernel.org/r/20240328124947.2107524-1-jackmanb@google.com
Diffstat (limited to '')
-rw-r--r-- | Documentation/dev-tools/testing-overview.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/dev-tools/testing-overview.rst b/Documentation/dev-tools/testing-overview.rst index 0aaf6ea53608..1619e5e5cc9c 100644 --- a/Documentation/dev-tools/testing-overview.rst +++ b/Documentation/dev-tools/testing-overview.rst @@ -104,6 +104,8 @@ Some of these tools are listed below: KASAN and can be used in production. See Documentation/dev-tools/kfence.rst * lockdep is a locking correctness validator. See Documentation/locking/lockdep-design.rst +* Runtime Verification (RV) supports checking specific behaviours for a given + subsystem. See Documentation/trace/rv/runtime-verification.rst * There are several other pieces of debug instrumentation in the kernel, many of which can be found in lib/Kconfig.debug |