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
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
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
participants (2)
-
Ben Leslie -
Gerwin Klein