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