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