Available lists
Summit-attendees
summit-attendees@sel4.systems
|
|
Summit-presenters
summit-presenters@sel4.systems
|
|
Foundation
foundation@sel4.systems
|
|
Social
social@sel4.systems
|
|
Support
support@sel4.systems
|
|
Licensing
licensing@sel4.systems
|
|
Admin
admin@sel4.systems
Site administration.
|
|
Summit-chairs
summit-chairs@sel4.systems
|
|
RFC
rfc@sel4.systems
A list for being notified of seL4 RFCs (read-only)
|
| List | Description | Activity in the past 30 days | |
|---|---|---|---|
| Summit-attendees summit-attendees@sel4.systems |
|
|
|
| Summit-presenters summit-presenters@sel4.systems |
|
|
|
| Foundation foundation@sel4.systems |
|
|
|
| Social social@sel4.systems |
|
|
|
| Support support@sel4.systems |
|
|
|
| Licensing licensing@sel4.systems |
|
|
|
| Admin admin@sel4.systems | Site administration. |
|
|
| Summit-chairs summit-chairs@sel4.systems |
|
|
|
| RFC rfc@sel4.systems | A list for being notified of seL4 RFCs (read-only) |
|
|