11 Apr
2022
11 Apr
'22
7:28 p.m.
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