Hi Oleksandr, On 30/05/2022 22:06, Oleksandr Tyshchenko wrote:
diff --git a/xen/include/public/device_tree_defs.h b/xen/include/public/device_tree_defs.h index 209d43d..df58944 100644 --- a/xen/include/public/device_tree_defs.h +++ b/xen/include/public/device_tree_defs.h @@ -7,6 +7,7 @@ * onwards. Reserve a high value for the GIC phandle.
This comment need to be updated. Cheers, -- Julien Grall
