Available lists
|
Admin
admin@sel4.systems
Site administration. 
|
|
Announce
announce@sel4.systems
Announcements about seL4 -- low volume list
|
|
Board
board@sel4.systems
|
|
Compliance-committee
compliance-committee@sel4.systems
|
|
Devel
devel@sel4.systems
Discussion of development and use of seL4
|
|
Foundation-admin
foundation-admin@sel4.systems
|
|
Foundation
foundation@sel4.systems
|
|
Licensing
licensing@sel4.systems
|
|
Marketing-committee
marketing-committee@sel4.systems
|
|
Outreach-committee
outreach-committee@sel4.systems
|
| List | Description | Activity in the past 30 days | |
|---|---|---|---|
| Admin admin@sel4.systems | Site administration. |
|
|
| Announce announce@sel4.systems | Announcements about seL4 -- low volume list |
|
|
| Board board@sel4.systems |
|
|
|
| Compliance-committee compliance-committee@sel4.systems |
|
|
|
| Devel devel@sel4.systems | Discussion of development and use of seL4 |
|
|
| Foundation-admin foundation-admin@sel4.systems |
|
|
|
| Foundation foundation@sel4.systems |
|
|
|
| Licensing licensing@sel4.systems |
|
|
|
| Marketing-committee marketing-committee@sel4.systems |
|
|
|
| Outreach-committee outreach-committee@sel4.systems |
|
|
|