Re: Kernel formal methods mailing list?

[Paul E. McKenney]

On Wed, Nov 04, 2026 at 12:56:30PM -0800, James Morris wrote:
> On Wed, 4 Nov 2026, Paul E. McKenney wrote:
> 
> > > Thoughts? Would it be worth setting up a mailing list?
> > 
> > We do have (low-traffic) lkmm@xxxxxxxxxxxxxxx, though that was intended to
> > be specific to the Linux kernel memory model and its formal-verification
> > tooling.
> 
> That's a possibility. Would the mm folk there would want to keep it domain-focused?

On second thought, I have to agree with Miguel, so I suggest instead
subscribing lkmm@xxxxxxxxxxxxxxx to the list.

But it could be a good fallback in case the Powers That Be object to
creating a new email list.  ;-)

							Thanx, Paul