On 22 Aug 2015, at 18:33 , Raymond Jennings <shentino@gmail.commailto:shentino@gmail.com> wrote:
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.systemsmailto: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.