Re: [seL4] Reasoning behind the root cnode's guard value

Hello Kevin,

A number of systems we have create a new cspace for the root task with the layout most appropriate for the particular system, then copy the caps into the new cspace, and then change the root cnode for the root task to adopt the new layout.

thank you for this suggestion. I have not considered the possibility to re-assign the CSpace of the initial thread. Very nice! Cheers Norman