Available lists
|
Devel
devel@sel4.systems
Discussion of development and use of seL4 
|
|
new
Summit
summit@sel4.systems
|
|
Announce
announce@sel4.systems
Announcements about seL4 -- low volume list
|
|
new
Marketing-committee
marketing-committee@sel4.systems
|
|
new
Outreach-committee
outreach-committee@sel4.systems
|
|
new
Social
social@sel4.systems
|
|
new
Tsc-members
tsc-members@sel4.systems
|
|
RFC
rfc@sel4.systems
A list for being notified of seL4 RFCs (read-only)
|
|
new
Summit-presenters
summit-presenters@sel4.systems
|
|
new
Summit-attendees
summit-attendees@sel4.systems
|
| List | Description | Activity in the past 30 days | |
|---|---|---|---|
| Devel devel@sel4.systems | Discussion of development and use of seL4 |
|
|
| new Summit summit@sel4.systems |
|
|
|
| Announce announce@sel4.systems | Announcements about seL4 -- low volume list |
|
|
| new Marketing-committee marketing-committee@sel4.systems |
|
|
|
| new Outreach-committee outreach-committee@sel4.systems |
|
|
|
| new Social social@sel4.systems |
|
|
|
| new Tsc-members tsc-members@sel4.systems |
|
|
|
| RFC rfc@sel4.systems | A list for being notified of seL4 RFCs (read-only) |
|
|
| new Summit-presenters summit-presenters@sel4.systems |
|
|
|
| new Summit-attendees summit-attendees@sel4.systems |
|
|
|