Received-SPF: softfail (google.com: domain of transitioning linux-kernel-owner@vger.kernel.org does not designate 23.128.96.19 as permitted sender) client-ip=23.128.96.19;
Date:   Mon, 2 May 2022 09:50:58 -0700
From:   "Paul E. McKenney" <paulmck@kernel.org>
To:     Akira Yokosawa <akiyks@gmail.com>
Cc:     Luc Maranget <luc.maranget@inria.fr>,
        Jade Alglave <j.alglave@ucl.ac.uk>,
        linux-kernel@vger.kernel.org
Subject: Re: [PATCH -lkmm] tools/memory-model/README: Update klitmus7 compat
 table
Message-ID: <20220502165058.GA1790663@paulmck-ThinkPad-P17-Gen-1>
Reply-To: paulmck@kernel.org
References: <2b237126-88d1-17f2-ce94-2cb679f0b285@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <2b237126-88d1-17f2-ce94-2cb679f0b285@gmail.com>
Precedence: bulk

On Mon, May 02, 2022 at 09:05:09PM +0900, Akira Yokosawa wrote:
> EXPORT_SYMBOL of do_exec() was removed in v5.17.  Unfortunately,
> kernel modules from klitmus7 7.56 have do_exec() at the end of
> each kthread.
> 
> herdtools7 7.56.1 has addressed the issue.
> 
> Update the compatibility table accordingly.
> 
> Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
> Cc: Luc Maranget <luc.maranget@inria.fr>
> Cc: Jade Alglave <j.alglave@ucl.ac.uk>
> Cc: stable@vger.kernel.org # v5.17+
> ---
> Hi Paul,
> 
> herdtools7 release 7.56.1 is available at
> https://github.com/herd/herdtools7/releases/tag/7.56.1,
> and "opam update/upgrade" should catch it soon.

Good catch, thank you!

> I think this is worth for v5.18, albeit it is a minor update
> in documentation.

Good point, but let me give it some thought.

							Thanx, Paul

> Thoughts?
> 
>         Thanks, Akira
> --
>  tools/memory-model/README | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
> 
> diff --git a/tools/memory-model/README b/tools/memory-model/README
> index 9edd402704c4..dab38904206a 100644
> --- a/tools/memory-model/README
> +++ b/tools/memory-model/README
> @@ -54,7 +54,8 @@ klitmus7 Compatibility Table
>  	     -- 4.14  7.48 --
>  	4.15 -- 4.19  7.49 --
>  	4.20 -- 5.5   7.54 --
> -	5.6  --       7.56 --
> +	5.6  -- 5.16  7.56 --
> +	5.17 --       7.56.1 --
>  	============  ==========
>  
>  
> -- 
> 2.25.1
>