On 24 Dec 2014, at 2:47 , Tim Newsham tim.newsham+sel4@gmail.com 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.