foundation@sel4.systems
Discussion about using and developing seL4 (questions, suggestions, updates, etc.)
RFC (request for comments) proposing new features for seL4
Github
support@sel4.systems
inquiries about professional support contractssel4@sel4.systems
communication that cannot be done on the public channelsmoderation@sel4.systems
requests or queries about community moderation. See seL4 Code of Conductwebmaster@sel4.systems