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 |