Is there a mailinglist or forum anywhere for people
interested in using seL4? I realized this is a dev list and may not be the right place to
ask technical supportr questions.
I think this list is what you’re after.
The information in this e-mail may be confidential and subject to legal professional
privilege and/or copyright. National ICT Australia Limited accepts no liability for any
damage caused by this email or its attachments.