Available lists
Summit-chairs
summit-chairs@sel4.systems
|
|
RFC
rfc@sel4.systems
A list for being notified of seL4 RFCs (read-only)
|
|
Support
support@sel4.systems
|
|
Admin
admin@sel4.systems
Site administration.
|
|
Marketing-committee
marketing-committee@sel4.systems
|
|
Compliance-committee
compliance-committee@sel4.systems
|
|
Outreach-committee
outreach-committee@sel4.systems
|
| List | Description | Activity in the past 30 days | |
|---|---|---|---|
| Summit-chairs summit-chairs@sel4.systems |
|
|
|
| RFC rfc@sel4.systems | A list for being notified of seL4 RFCs (read-only) |
|
|
| Support support@sel4.systems |
|
|
|
| Admin admin@sel4.systems | Site administration. |
|
|
| Marketing-committee marketing-committee@sel4.systems |
|
|
|
| Compliance-committee compliance-committee@sel4.systems |
|
|
|
| Outreach-committee outreach-committee@sel4.systems |
|
|
|