Hi Adrian,
I found the issue on our side. We seem to somehow mixed up already in the initial port the --arch and --sel4-arch options in the invocation of tools/invocation_header_gen.py in our build system. Doing it the same way as in your Makefile solves the issue.
Thanks,
Alex.
On 22.07.2016 02:48, Adrian Danis wrote:
Hi Alex,
That commit will have potentially changed the invocation number for mapping a page. Can you double check that you are using the new version of the generated headers from libsel4 and are fully rebuilding your user space with them?
Adrian
On Thu 21-Jul-2016 11:55 PM, Alexander Boettcher wrote:
Hello,
after upgrading the seL4 kernel (x86) from 3.1.0 to 3.2.0 we get for the very first invocation of seL4_X86_Page_Map an errorcode of *3* (seL4_IllegalOperation).
We bisected the commits between 3.1.0 and 3.2.0 and [0] is the first bad commit for us. If we use the 3.2.0 release with [0] reverted on top than everything works as before - so no changes to Genode/seL4 as used for the 3.1.0 kernel are necessary.
It's a know issue, or maybe something changed which must be adjusted in userland/roottask ?
Thanks,
Alex.
[0] https://github.com/seL4/seL4/commit/c8819792d76ae5aecd89bcff656ca561e62959a5
Devel mailing list Devel@sel4.systemsmailto: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.