[seL4] 3.1.0 to 3.2.0 (x86) upgrade issue

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