diff mbox series

[20/24] Documentation: trace/rv: correct spelling

Message ID	20230209071400.31476-21-rdunlap@infradead.org
State	New
Headers	Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; From: Randy Dunlap <rdunlap@infradead.org> To: linux-kernel@vger.kernel.org Cc: Randy Dunlap <rdunlap@infradead.org>, Steven Rostedt <rostedt@goodmis.org>, Masami Hiramatsu <mhiramat@kernel.org>, Daniel Bristot de Oliveira <bristot@kernel.org>, linux-trace-kernel@vger.kernel.org, Jonathan Corbet <corbet@lwn.net>, linux-doc@vger.kernel.org Subject: [PATCH 20/24] Documentation: trace/rv: correct spelling Date: Wed, 8 Feb 2023 23:13:56 -0800 Message-Id: <20230209071400.31476-21-rdunlap@infradead.org> In-Reply-To: <20230209071400.31476-1-rdunlap@infradead.org> References: <20230209071400.31476-1-rdunlap@infradead.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Precedence: bulk
Series	Documentation: correct lots of spelling errors (series 1) \| [00/24,v2] Documentation: correct lots of spelling errors (series 1) [01/24] Documentation: arm: correct spelling [02/24] Documentation: block: correct spelling [03/24] Documentation: core-api: correct spelling [04/24] Documentation: fault-injection: correct spelling [05/24] Documentation: fb: correct spelling [06/24] Documentation: features: correct spelling [07/24] Documentation: input: correct spelling [08/24] Documentation: isdn: correct spelling [09/24] Documentation: livepatch: correct spelling [10/24] Documentation: locking: correct spelling [11/24] Documentation: mm: correct spelling [12/24] Documentation: openrisc: correct spelling [13/24] Documentation: PCI: correct spelling [14/24] Documentation: powerpc: correct spelling [15/24] Documentation: s390: correct spelling [16/24] Documentation: scheduler: correct spelling [17/24] Documentation: security: correct spelling [18/24] Documentation: timers: correct spelling [19/24] Documentation: tools/rtla: correct spelling [20/24] Documentation: trace/rv: correct spelling [21/24] Documentation: trace: correct spelling [22/24] Documentation: w1: correct spelling [23/24] Documentation: x86: correct spelling [24/24] Documentation: xtensa: correct spelling

Commit Message

Randy Dunlap Feb. 9, 2023, 7:13 a.m. UTC

  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 +-

Comments

Daniel Bristot de Oliveira Feb. 9, 2023, 11:45 a.m. UTC | #1

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

Steven Rostedt Feb. 10, 2023, 9:37 p.m. UTC | #2

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

diff mbox series

Patch

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