| 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 |