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 <kle...@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 > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
