If you need help and open source support using or developing on seL4, visit the Help & Open Source Support page.
If you are after professional commercial support, see the list of Endorsed Service Providers.
To report or discuss a potential security vulnerability, follow the Vulnerability disclosure policy.
For requests or queries about community moderation based on the seL4 Code of Conduct, email
For information about the seL4 Foundation, or anything that can't be discussed in public, or anything else not covered above, email