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
RFC rfc@sel4.systems A list for being notified of seL4 RFCs (read-only)