Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:18 as permitted sender) client-ip=2620:137:e000::1:18;
Date:   Fri, 6 May 2022 12:04:31 -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: <20220506190431.GG1790663@paulmck-ThinkPad-P17-Gen-1>
Reply-To: paulmck@kernel.org
References: <2b237126-88d1-17f2-ce94-2cb679f0b285@gmail.com>
 <20220502165058.GA1790663@paulmck-ThinkPad-P17-Gen-1>
 <18d2ad1d-c2a5-682a-91e8-2d8067e62b30@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <18d2ad1d-c2a5-682a-91e8-2d8067e62b30@gmail.com>
Precedence: bulk

On Fri, May 06, 2022 at 11:55:02AM +0900, Akira Yokosawa wrote:
> On Mon, 2 May 2022 09:50:58 -0700,
> Paul E. McKenney wrote:
> > 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.
> 
> With the help of Luc, opam repository has accepted 7.56.1.
> 
> > 
> > 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.
> 
> On the second thought, as v5.18-rc6 is expected this weekend,
> I'm OK if this update makes the next (v5.19) merge window.
> 
> This is more of a "news" type update and the "Cc: stable" tag
> should work either way.

Sounds like a plan!  I have this commit positioned to be the LKMM
pull request for the upcoming merge window.

							Thanx, Paul