Please respond if you are currently working on, or otherwise have an
interest or stake in support for MMU-based platforms in Tock and paging
support in particular.
There are a couple parallel efforts underway, all of which would require
careful consideration to achieve successfully alongside MPU-based
protection.
You can respond only to me (amit(a)amitlevy.com) but better to the
list. For example, why you're interested (e.g. you have or are planning
support for a platform that has an MMU, or there are specific features
you'd hope to get from paging) and whether and what efforts you have
underway.
I will use this to ensure people are kept in the loop and included in
discussions.
Thanks!
Amit
