Contact Information

Foundation

• foundation@sel4.systems

Information and Announcements

• Announce mailing list announcements about seL4 (low volume list)
• Blog

Development

Discussion about using and developing seL4 (questions, suggestions, updates, etc.)

• Developer mailing list
• Discourse forums
• Mattermost chat
• IRC: we used to have an IRC channel, but we no longer monitor that, so do not recommend using it.

RFC (request for comments) proposing new features for seL4

• Information about the RFC process
• RFC JIRA
• RFC announcement mailing list

Github

• https://github.com/seL4
• https://github.com/seL4Proj

Direct Communication

• support@sel4.systems inquiries about professional support contracts
• sel4@sel4.systems communication that cannot be done on the public channels
• moderation@sel4.systems requests or queries about community moderation. See seL4 Code of Conduct

Website Issues

• webmaster@sel4.systems