Help & Open Source Support
Places for discussions, questions, suggestions on using seL4 for when docs and FAQ are not enough.
If you are encountering a problem getting your project running, have a question on how things works, have an idea for improving something, or just want to share your work, you can reach out on any of the channels below.
seL4 Video Hangout
We host an open video chat hangout every two weeks to bring seL4 users and developers together. Dates and times are shown in the seL4 calendar.
There is no strict agenda, anybody can join for technical discussions about seL4, related repositories and projects, or general questions and answers.
Members of the technical steering committee (TSC) will try to be there, but these are not TSC meetings where formal decisions are made.