Don't have my Jira credentials immediately available, so I'll just reply here: This is a win. It will make sel4cp implementation simpler and more efficient (without impacting sel4cp user space API). Looking forward to the change. On Mon, 11 Apr 2022 at 09:41, Gerwin Klein <kleing@unsw.edu.au> wrote:

This is a last call for comments for RFC-10 before the TSC votes on it this week:

https://sel4.atlassian.net/browse/RFC-10

The RFC is about consolidating AArch64 page table objects and has been uncontroversial so far, just wanted to make sure people are aware of it.

Cheers, Gerwin

_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems