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

From: Daniel Bristot de Oliveira
Date: Fri Jan 27 2023 - 03:55:02 EST


On 1/27/23 07:40, Randy Dunlap wrote:
> --- 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