reclaiming root server memory frames
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
431
Age (days ago)
455
Last active (days ago)
1 comments
1 participants
participants (1)
-
Yanfeng Liu