Available lists
| Summit
                             
                         
                        summit@sel4.systems   | 
| Devel
                             
                         
                        devel@sel4.systems Discussion of development and use of seL4   | 
| Tsc-members
                             
                         
                        tsc-members@sel4.systems   | 
| Summit-pc
                             
                         
                        summit-pc@sel4.systems   | 
| Announce
                             
                         
                        announce@sel4.systems Announcements about seL4 -- low volume list   | 
| Board
                             
                         
                        board@sel4.systems   | 
| Compliance-committee
                             
                         
                        compliance-committee@sel4.systems   | 
| Foundation-admin
                             
                         
                        foundation-admin@sel4.systems   | 
| Marketing-committee
                             
                         
                        marketing-committee@sel4.systems   | 
| Outreach-committee
                             
                         
                        outreach-committee@sel4.systems   | 
| List | Description | Activity in the past 30 days | |
|---|---|---|---|
| Summit summit@sel4.systems | 
 |   | |
| Devel devel@sel4.systems | Discussion of development and use of seL4 | 
 |   | 
| Tsc-members tsc-members@sel4.systems | 
 |   | |
| Summit-pc summit-pc@sel4.systems | 
 |   | |
| Announce announce@sel4.systems | Announcements about seL4 -- low volume list | 
 |   | 
| Board board@sel4.systems | 
 |   | |
| Compliance-committee compliance-committee@sel4.systems | 
 |   | |
| Foundation-admin foundation-admin@sel4.systems | 
 |   | |
| Marketing-committee marketing-committee@sel4.systems | 
 |   | |
| Outreach-committee outreach-committee@sel4.systems | 
 |   | |