Hello,
I found there are several little changes on the latest commit of seL4 kernel [1]. And you just changed the define of function "map_it_frame_cap" for arm, but not for ia32. I just wonder whether there are any further considerations, or it's just a mistake :)
Thanks,
[1] https://github.com/seL4/seL4/commit/4f12acd2703183c9f44fe097589b53eb53c599eb
--
Jensen Zhang Tongji University