Contact Information

Foundation

• foundation@sel4.systems

Information and Announcements

• Announce mailing list announcements about seL4 (low volume list)
• LinkedIn: seL4 Foundation
• Mastodon: @sel4@fosstodon.org
  We are suspending our use of Twitter until further notice. We will instead provide updates on Mastodon.
• YouTube: The seL4 Microkernel
• Blog
• Google calendar feed for seL4 Foundation events and dates

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.

We also host an open video chat hangout every two weeks (dates/times shown in calendar above) to bring seL4 developers together. There is no strict agenda, anybody can join for technical discussions about seL4, related repositories and projects, or general questions and answers. Members from the technical steering committee (TSC) will try to be there, but these are not TSC meetings where formal decisions are made.
A calendar feed is available.

RFC (request for comments) proposing new features for seL4

• Information about the RFC process
• Currently proposed RFCs

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