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
Security security@lists.tockos.org Contact point for security concerns or other sensitive disclosures for Tock
Treadmill-announce treadmill-announce@lists.tockos.org
Formal Methods & Verification verification@lists.tockos.org Formal Methods & Verification in Tock