Hi Raymond,
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.
Gernot
________________________________
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.