I remember awhile ago that someone was going to post the roadmap in response to my accessed/dirty bit suggestion...but I haven't seen it yet.
Working on it today…
We needed to include a few more things, which requires further coordination (and there’s a lot happening here right now).
Should be out shortly, I suspect within a week. Will be advertised on
announce@sel4.systems.
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.