Re: [seL4] page permissions - execute?

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 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 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.

-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com