Re: [PATCH v3 14/14] kconfig: Allow x86 to pick CONFIG_DOM0LESS_BOOT

[Julien Grall <julien@xxxxxxx>]

Hi,

On 13/06/2025 16:13, Alejandro Vallejo wrote:
> Without picking CONFIG_HAS_DEVICE_TREE.
>
> In order to do that. Allow CONFIG_DOM0LESS_BOOT to enable a subset
> of the common/device-tree/ directory. 
> x86 doesn't want dom0less-build.c,> as that's tightly integrated 
still to the ARM way of building domains.
I don't understand this argument. dom0less-build.c was moved to common 
and it will soon be used by RISC-V. This raises the question what's so 
special with x86?
Note I don't particularly care if you don't want to use it on x86. 
However, the argument provided is lacking some details... This will be 
useful in the future if someone thinks about consolidating the two.
Cheers,

--
Julien Grall