Hi Stefano, On 08/04/2022 23:46, Stefano Stabellini wrote:
So I don't think that when the owner dies, we need to actively go and unmap the pages at the borrowers. Also because it would likely cause them to crash: from their point of view the memory was there, and suddenly it is not there anymore.
I agree with that. Also, the code is likely going to be quite complex because there are a lot of things that can go wrong (e.g. the domain ID has been re-used). I will comment there directly.
Cheers, -- Julien Grall
