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 <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
