Correct spelling problems for Documentation/trace/rv/ as reported
by codespell.

Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
Cc: Steven Rostedt <rostedt@goodmis.org>
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Daniel Bristot de Oliveira <bristot@kernel.org>
Cc: linux-trace-kernel@vger.kernel.org
Cc: Jonathan Corbet <corbet@lwn.net>
Cc: linux-doc@vger.kernel.org
---
 Documentation/trace/rv/runtime-verification.rst             |    2 +-

diff -- a/Documentation/trace/rv/runtime-verification.rst b/Documentation/trace/rv/runtime-verification.rst
--- 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

On 2/9/23 08:13, Randy Dunlap wrote:
> Correct spelling problems for Documentation/trace/rv/ as reported
> by codespell.

Many thanks, Randy!

> Signed-off-by: Randy Dunlap <rdunlap@infradead.org>

Acked-by: Daniel Bristot de Oliveira <bristot@kernel.org>

-- Daniel

On Thu, 9 Feb 2023 12:45:27 +0100
Daniel Bristot de Oliveira <bristot@kernel.org> wrote:

> On 2/9/23 08:13, Randy Dunlap wrote:
> > Correct spelling problems for Documentation/trace/rv/ as reported
> > by codespell.  
> 
> Many thanks, Randy!
> 
> > Signed-off-by: Randy Dunlap <rdunlap@infradead.org>  
> 
> Acked-by: Daniel Bristot de Oliveira <bristot@kernel.org>
> 
>

Acked-by: Steven Rostedt (Google) <rostedt@goodmis.org>

-- Steve