| List name | Post address | Description |
|---|---|---|
| Announce | announce@sel4.systems | Announcements about seL4 -- low volume list |
| Devel | devel@sel4.systems | Discussion of development and use of seL4 |
| Multikernel | multikernel@sel4.systems | coordination for seL4 multikernel features |
| RFC | rfc@sel4.systems | A list for being notified of seL4 RFCs (read-only) |