| List name | Post address | Description |
|---|---|---|
| Announce | [email protected] | Announcements about seL4 -- low volume list |
| Devel | [email protected] | Discussion of development and use of seL4 |
| RFC | [email protected] | A list for being notified of seL4 RFCs (read-only) |
| List name | Post address | Description |
|---|---|---|
| Announce | [email protected] | Announcements about seL4 -- low volume list |
| Devel | [email protected] | Discussion of development and use of seL4 |
| RFC | [email protected] | A list for being notified of seL4 RFCs (read-only) |