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.

Best, 

Sidhartha Agrawal