Dear seL4 community,
Our development and verification roadmap is now published at https://sel4.systems/Info/Roadmap/
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.