Intel's Memory Protection Keys

Sid Agrawal siagraw at
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.

Sidhartha Agrawal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list