Intel's Memory Protection Keys

[Sid Agrawal]

Hi,
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
sid-agrawal.ca
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20220131/a584a1a8/attachment.htm>