From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 80266C54EAA for ; Fri, 27 Jan 2023 08:55:55 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender: Content-Transfer-Encoding:Content-Type:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:In-Reply-To:From:References:Cc:To: Subject:MIME-Version:Date:Message-ID:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=3+yNX6Uq1rsFoups1cu3Hzmh7T0acfU5vrtX9DrNKWw=; b=dn4SKGSb3/iIhg et+/xxYuuK6Vzdvpr/coVrHpltzdYUx3bT9SbFpQKs9ptUHQXu8v8H8hShn90MDMBlqolxK73XjO1 h+UgFfyWCc9ynORZWXJw1+o/yQtFhP2quAy+GY8QqLO2dePFOvb4aitNWx4FU4Tdy0Ny07nWEEJwt 4zdSE914LJlWaVf3X5LOu9qSp9IKnOci93jegeHL61qY3igBVq2/DtGYcBIvnpCva4FTAeN2o9piJ CaoJZMr2Vq6EN8joxnsf2NZQmb1F2ercHILdEkQfZKGOZ7PC3s1zRO0ie5TbcVsXcZl9mmcnKZtPM 1Qk2VikAs7NRhvv7gTxQ==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.94.2 #2 (Red Hat Linux)) id 1pLKVk-00DYfZ-VL; Fri, 27 Jan 2023 08:55:05 +0000 Received: from sin.source.kernel.org ([145.40.73.55]) by bombadil.infradead.org with esmtps (Exim 4.94.2 #2 (Red Hat Linux)) id 1pLKVh-00DYd0-Fn for linux-arm-kernel@lists.infradead.org; Fri, 27 Jan 2023 08:55:02 +0000 Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by sin.source.kernel.org (Postfix) with ESMTPS id 38FC4CE26B7; Fri, 27 Jan 2023 08:54:57 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id C06C8C433D2; Fri, 27 Jan 2023 08:54:51 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1674809695; bh=lB9w3CupJ1PsxfOhLwNQrL1keD+K3TROyKle0VM8Pk4=; h=Date:Subject:To:Cc:References:From:In-Reply-To:From; b=DOL/BUjcqDa9mBBOnyLaxzECdlrz9umxtfP/IGajHUAWcqeqShzZbcaDyyL9n7nCF s1RZ/SAXmzn1FnxYgBTkF4BCtnsDWAso7skeDcbbHSnfFwLPbnLw51W02PVxYEnbaw x/Kgk7jtnvcHWq0s42FnnZMKWr83r8Lzu7tKiiOn+VAa9GEv2ALtBYR8QNpFAd9HpY G82E+jzDVz1RLOp9k5GZF8pJWSBeoQbFIiWGkWCP1gyQnVrFbq1e371Xi/dus12KO8 gIzKoeNfxckq5kNTb1aqTaoKttiuMDOGfyHChXGcLhiCBo8YETM4YOznjooFL6uGOY pEpbGHN0J7PKg== Message-ID: <5c1d8862-4ee6-bd17-1a61-ec32689d0578@kernel.org> Date: Fri, 27 Jan 2023 09:54:49 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 Subject: Re: [PATCH 31/35] Documentation: trace: correct spelling Content-Language: en-US To: Randy Dunlap , linux-kernel@vger.kernel.org Cc: Steven Rostedt , Masami Hiramatsu , linux-trace-kernel@vger.kernel.org, Mathieu Poirier , Suzuki K Poulose , coresight@lists.linaro.org, linux-arm-kernel@lists.infradead.org, Jonathan Corbet , linux-doc@vger.kernel.org References: <20230127064005.1558-1-rdunlap@infradead.org> <20230127064005.1558-32-rdunlap@infradead.org> From: Daniel Bristot de Oliveira In-Reply-To: <20230127064005.1558-32-rdunlap@infradead.org> X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20230127_005501_752419_2AE6DE83 X-CRM114-Status: GOOD ( 13.08 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org 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 _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel