Discussion about using and developing seL4 (questions, suggestions, updates, etc.)
We are also hosting an open video
chat hangout every two weeks (Tuesday afternoon/evening US/EU, Wednesday
morning Asia/Australia) 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
firstname.lastname@example.org about professional support contracts
email@example.com that cannot be done on the public channels
firstname.lastname@example.org or queries about community moderation. See seL4 Code of Conduct