Re: Kernel formal methods mailing list?

[Miguel Ojeda]

On Wed, Nov 4, 2026 at 9:56 PM James Morris <jmorris@xxxxxxxxx> wrote:
>
> That's a possibility. Would the mm folk there would want to keep it domain-focused?

I think linux-formal would be clearer, even if LKMM uses formal methods.

Especially if one subscribes to both and uses filters/tagging in their
email client and/or wants to pay more attention to one more than the
other.

Cheers,
Miguel