Contactable Email addresses
This page attempts to be a directory of relevant email addresses relating to seL4. Public mailing lists allow anyone to sign-up to receive emails. Private mailing lists have a restricted set of receivers.
Public mailing lists:
- email@example.com: For announcements about seL4. Sending to this list is restricted.
- firstname.lastname@example.org: For asking questions about seL4.
Private mailing lists
- email@example.com: For requests or queries about community moderation. See seL4 Code of Conduct.
- firstname.lastname@example.org: For submitting CLAs.
- email@example.com: For website issues.
- firstname.lastname@example.org: Private communication about seL4 direct to Trustworthy Systems. For starting any private discussions about seL4.
- email@example.com: For inquiries about professional support contracts.