[seL4] Re: Modifying the root user thread's CSpace

Could you try setting the guard to 0x8000000000000000 (0x20 << 58). I think the most significant 6 bits of the cspace guard are used for the size and the rest for the value.

Sorry, I made a mistake with this. I misremembered the way it worked. The value you had originally was correct. - Alwin