| List name | Post address | Description |
|---|---|---|
| Boost-statechart-viewer | boost-statechart-viewer@rtime.felk.cvut.cz | |
| F1tenth | f1tenth@rtime.felk.cvut.cz | |
| OSY | osy@rtime.felk.cvut.cz | |
| PSR | psr@rtime.felk.cvut.cz | Real-Time systems programming course |
| reading-group | reading-group@rtime.felk.cvut.cz | |
| Scheduling seminar | schedulingseminar@rtime.felk.cvut.cz | schedulingseminar.com announcements |
| Students | students@rtime.felk.cvut.cz | |
| Sysless | sysless@rtime.felk.cvut.cz | Sysless framework discussion |