[seL4] reclaiming root server memory frames

25 Dec 2024

      Dear experts,

I am wondering how seL4 app can reclaim some root server memory frames at later
stage of bootstrapping?

Regards,
yf

Yanfeng Liu