Thread (11 messages) 11 messages, 9 authors, 2023-02-14

Re: [PATCH 31/35] Documentation: trace: correct spelling

From: Daniel Bristot de Oliveira <bristot@kernel.org>
Date: 2023-01-27 08:55:02
Also in: linux-arm-kernel, linux-doc, lkml

On 1/27/23 07:40, Randy Dunlap wrote:
quoted hunk ↗ jump to hunk
--- a/Documentation/trace/rv/runtime-verification.rst
+++ b/Documentation/trace/rv/runtime-verification.rst
@@ -31,7 +31,7 @@ In Linux terms, the runtime verification
 *RV monitor* abstraction. A *RV monitor* includes a reference model of the
 system, a set of instances of the monitor (per-cpu monitor, per-task monitor,
 and so on), and the helper functions that glue the monitor to the system via
-trace, as depicted bellow::
+trace, as depicted below::
 
  Linux   +---- RV Monitor ----------------------------------+ Formal
   Realm  |                                                  |  Realm
Do you mind making the rv part an independent patch?

Spiting it helps in the backport of the fix to stable/distro kernels.

-- Daniel
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help