Re: Kernel formal methods mailing list?

[James Morris]

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?


-- 
James Morris
<jmorris@xxxxxxxxx>