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
email@example.com inquiries about professional support contracts
firstname.lastname@example.org communication that cannot be done on the public channels
email@example.com requests or queries about community moderation. See seL4 Code of Conduct