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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
