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