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)?