13 Dec
2015
13 Dec
'15
5:23 p.m.
Would any of seL4's guarantees be compromised if a Translate method were added to page directory objects (for mapping a virtual address to the underlying physical address, without exposing the intermediate page capabilities)?
3754
Age (days ago)
3755
Last active (days ago)
4 comments
4 participants
participants (4)
-
Ben Karel -
Gerwin Klein -
Kevin Elphinstone -
Matthew Fernandez