| Message ID | 20230209071400.31476-21-rdunlap@infradead.org (mailing list archive) |
|---|---|
| State | Awaiting Upstream |
| Headers | show |
| Series | Documentation: correct lots of spelling errors (series 1) | expand |
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
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
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 +-