[seL4] page permissions - execute?

Is there no "execute" permission that can be set
(or not set) on mapped pages in sel4?


_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to