On 28.06.2022 17:18, Julien Grall wrote: > In fact, to me, a "static" port is the same as if the event channel was > allocated from the toolstack (for instance this is the case for > Xenstored). In such case, we are still allowing the guest to close the > port and then re-opening. So I don't really see why we should diverge here.
Fwiw, I agree with Julien's view here. Jan