Hi, On 17/02/2022 19:38, Julien Grall wrote:
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>
I have committed the patch. Cheers, -- Julien Grall
