Dear experts, I am wondering how seL4 app can reclaim some root server memory frames at later stage of bootstrapping?
Regards, yf _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
