On 24 Dec 2014, at 2:47 , Tim Newsham <[email protected]> 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. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
