Re: Kernel formal methods mailing list?

[James Morris]

>From Chris @ LF:

> Hi all,
>
> This list is now operational
>
> address: formal@xxxxxxxxxxxxxxx
> archive: https://lore.kernel.org/formal/
>
> any issues or queries, please reach out to helpdesk@xxxxxxxxxx
>
> Chris Hoy Poy
> Senior Systems Engineer
> Core Projects
> The Linux Foundation
> Perth, Western Australia (GMT:+8)


-- 
James Morris
<jmorris@xxxxxxxxx>