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 wrote:

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

_______________________________________________ Devel mailing list Devel@sel4.systems 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.

On 24 Dec 2014, at 2:47 , Tim Newsham wrote:

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

Embarrassingly no. I believe that will be fixed soonish. ________________________________ 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.