> 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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
