Re: [PATCH v6 09/11] xen: Split HAS_DEVICE_TREE in two

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Tue, 8 Jul 2025, Alejandro Vallejo wrote:
> From: Alejandro Vallejo <agarciav@xxxxxxx>
> 
> Moving forward the idea is for there to be:
> 
>   1. Basic DT support: used by dom0less/hyperlaunch.
>   2. Full DT support: used for device discovery and HW setup.
> 
> Rename HAS_DEVICE_TREE to HAS_DEVICE_TREE_DISCOVERY to describe (2) and
> create a new DEVICE_TREE_PARSE to describe (1).
> 
> Have DEVICE_TREE_PARSE selected by both HAS_DEVICE_TREE_DISCOVERY and
> DOM0LESS_BOOT.
> 
> Add a dependency on STATIC_MEMORY for discovery, as it relies on
> the memory map itself being described on the DTB.
> 
> Signed-off-by: Alejandro Vallejo <agarciav@xxxxxxx>

I know it took a few revisions to get here but I have to say that this
version is so much better! Thanks Alejandro and the reviewers for all
your work on this.

Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>