Commit 42fb9cfd authored by Brendan Jackman's avatar Brendan Jackman Committed by Jonathan Corbet
Browse files

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: default avatarBrendan Jackman <jackmanb@google.com>
Acked-by: default avatarDaniel Bristot de Oliveira <bristot@kernel.org>
Signed-off-by: default avatarJonathan Corbet <corbet@lwn.net>
Link: https://lore.kernel.org/r/20240328124947.2107524-1-jackmanb@google.com
parent 4cece764

Documentation/dev-tools/testing-overview.rst

+2 −0
Original line number Diff line number Diff line
@@ -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