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 > [email protected]<mailto:[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. > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
