reclaiming root server memory frames
25 Dec
2024
25 Dec
'24
3:13 a.m.
Dear experts, I am wondering how seL4 app can reclaim some root server memory frames at later stage of bootstrapping? Regards, yf
18 Jan
18 Jan
4:25 a.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
67
Age (days ago)
91
Last active (days ago)
1 comments
1 participants
participants (1)
-
Yanfeng Liu