List name | Post address | Description |
---|---|---|
Announce | announce@lists.tockos.org | |
Core Working Group | core@lists.tockos.org | Core Working Group |
Devel | devel@lists.tockos.org | General Tock development discussion |
Opentitan | opentitan@lists.tockos.org | Opentitan Working Group |