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
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
