Hi Juergen, On 17/02/2022 11:47, Juergen Gross wrote:
The patch also cover normal migration. So I think you want to drop " in case of live update".The Xenstore migration document is missing the specification that a node record must be preceded by the record of its parent node in case of live update.
I can do the modification on commit: Acked-by: Julien Grall <jgr...@amazon.com> Cheers, -- Julien Grall
