Intel's Memory Protection Keys
siagraw at cs.ubc.ca
Mon Jan 31 09:12:29 CET 2022
I want to use Intel's MPK in my project with Genode. A grep of the source
code did not yield anything obvious.
>From what I know about Intel's MPKs, I should be able to piggyback on the
kernel's capability to manipulate the page table. The "keys" reside in the
top 4 bits of the translation in the PTE. So maybe I do not need any
special support from Genode or seL4, for that matter.
But I just wanted to run it by the group to see if I missed something. Or
if someone has tried this before.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users