25 Dec
2024
25 Dec
'24
1: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
18 Jan
18 Jan
2: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
1
Age (days ago)
25
Last active (days ago)
1 comments
1 participants
participants (1)
-
Yanfeng Liu