Available lists
| List | Description | Activity in the past 30 days | |
|---|---|---|---|
| Devel devel@sel4.systems | Discussion of development and use of seL4 |
|
|
| Announce announce@sel4.systems | Announcements about seL4 -- low volume list |
|
|
| RFC rfc@sel4.systems | A list for being notified of seL4 RFCs (read-only) |
|
|
