> If you need it for x86, that can probably be done fairly quickly after the > Christmas break.
thank you for the offer.. I was just asking out of curiosity and its nothing urgent. glad to hear its on the TODO list.. On Tue, Dec 23, 2014 at 12:01 PM, Gerwin Klein <[email protected]> wrote: > 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. -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
