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
___
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Tue 21 Jan, 9:00pm UTC.
For your local date and time please see https://sel4.systems/contact/.
Zoom link: https://unsw.zoom.us/j/82640784431
Birgit Brecknell
seL4 Foundation Project Coordinator
Sydney, Australia
