reclaiming root server memory frames

24 Dec
2024
24 Dec
'24
9:13 p.m.
Dear experts, I am wondering how seL4 app can reclaim some root server memory frames at later stage of bootstrapping? Regards, yf

17 Jan
17 Jan
10:25 p.m.
New subject: reclaiming some frames of initial thread
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
173
Age (days ago)
197
Last active (days ago)
1 comments
1 participants
participants (1)
-
Yanfeng Liu