Depends on the platform. For ARM, we just recently added support for the XN bit. The tips of github master and experimental branches both have it.
If you need it for x86, that can probably be done fairly quickly after the Christmas break. Cheers, Gerwin > On 24.12.2014, at 02:47, Tim Newsham <[email protected]> wrote: > > 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 ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
