Available lists - lists.sel4.systems

Hide inactive Hide private

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

6 6

3 3

2 3

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

1 1

1 11

Compliance-committee compliance-committee@sel4.systems

0 0

Social social@sel4.systems

0 0

Licensing licensing@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	6 participants 6 discussions
Board board@sel4.systems		3 participants 3 discussions
Summit-pc summit-pc@sel4.systems		2 participants 3 discussions
Announce announce@sel4.systems	Announcements about seL4 -- low volume list	1 participants 1 discussions
Foundation-admin foundation-admin@sel4.systems		1 participants 11 discussions
Compliance-committee inactive compliance-committee@sel4.systems		0 participants 0 discussions
Social inactive social@sel4.systems		0 participants 0 discussions
Licensing inactive licensing@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