Available lists - lists.sel4.systems

Hide inactive Hide private

Devel devel@sel4.systems
Discussion of development and use of seL4

5 5

3 3

2 3

1 11

Announce announce@sel4.systems
Announcements about seL4 -- low volume list

1 1

Summit-presenters summit-presenters@sel4.systems

0 0

Summit-chairs summit-chairs@sel4.systems

0 0

Compliance-committee compliance-committee@sel4.systems

0 0

Summit summit@sel4.systems

0 0

RFC rfc@sel4.systems
A list for being notified of seL4 RFCs (read-only)

0 0

List	Description	Activity in the past 30 days
Devel devel@sel4.systems	Discussion of development and use of seL4	5 participants 5 discussions
Board board@sel4.systems		3 participants 3 discussions
Summit-pc summit-pc@sel4.systems		2 participants 3 discussions
Foundation-admin foundation-admin@sel4.systems		1 participants 11 discussions
Announce announce@sel4.systems	Announcements about seL4 -- low volume list	1 participants 1 discussions
Summit-presenters inactive summit-presenters@sel4.systems		0 participants 0 discussions
Summit-chairs inactive summit-chairs@sel4.systems		0 participants 0 discussions
Compliance-committee inactive compliance-committee@sel4.systems		0 participants 0 discussions
Summit inactive summit@sel4.systems		0 participants 0 discussions
RFC inactive rfc@sel4.systems	A list for being notified of seL4 RFCs (read-only)	0 participants 0 discussions