seL4

Contact Information

Foundation

  • foundation@sel4.systems

Information and Announcements

Development

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

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

Github

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