Contact Information



Information and Announcements


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


Direct Communication

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

Website Issues