* [PATCH] Documentation: dev-tools: Add link to RV docs
@ 2024-03-28 12:49 Brendan Jackman
2024-03-28 15:58 ` Daniel Bristot de Oliveira
0 siblings, 1 reply; 2+ messages in thread
From: Brendan Jackman @ 2024-03-28 12:49 UTC (permalink / raw)
To: linux-doc, linux-kernel; +Cc: corbet, jackmanb, bristot, rostedt
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>
---
Documentation/dev-tools/testing-overview.rst | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Documentation/dev-tools/testing-overview.rst b/Documentation/dev-tools/testing-overview.rst
index 0aaf6ea53608f..1619e5e5cc9c4 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
--
2.44.0.396.g6e790dbe36-goog
^ permalink raw reply related [flat|nested] 2+ messages in thread
* Re: [PATCH] Documentation: dev-tools: Add link to RV docs
2024-03-28 12:49 [PATCH] Documentation: dev-tools: Add link to RV docs Brendan Jackman
@ 2024-03-28 15:58 ` Daniel Bristot de Oliveira
0 siblings, 0 replies; 2+ messages in thread
From: Daniel Bristot de Oliveira @ 2024-03-28 15:58 UTC (permalink / raw)
To: Brendan Jackman, linux-doc, linux-kernel; +Cc: corbet, rostedt
On 3/28/24 13:49, Brendan Jackman wrote:
> 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>
Thanks!
-- Daniel
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2024-03-28 15:58 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-03-28 12:49 [PATCH] Documentation: dev-tools: Add link to RV docs Brendan Jackman
2024-03-28 15:58 ` Daniel Bristot de Oliveira
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.