List name Post address Description
Announce announce@lists.tockos.org
Devel devel@lists.tockos.org General Tock development discussion
Opentitan opentitan@lists.tockos.org Opentitan Working Group
Treademill-announce treademill-announce@lists.tockos.org Announcements for the Treadmill CI Platform
Formal Methods & Verification verification@lists.tockos.org Formal Methods & Verification in Tock