Happy new year! dear experts, It seems that user space image frames of initial thread are created before initial untypeds, may I ask can we reclaim some of those frames after use? will this lead to creation of addtional root untypeds?
Regards, yf _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
