On Mon Jun 16, 2025 at 8:59 AM CEST, Jan Beulich wrote: > On 13.06.2025 17: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. > > Which then is grossly misleading: x86 also ought to select HAS_DEVICE_TREE > if it wants to use that machinery. Instead of theis an the previous patch,
It wants to use a _subset_. I can't use the full machinery. > I think what we need is a new Kconfig setting to control the use of > dom0less-build.c. > > Jan It's not just dom0less-build.c. It's critical to avoid parsing device_t's during the unflatten procedure (which is the few lines compiled out with ifdef CONFIG_DEVICE_TREE). Renaming CONFIG_HAS_DEVICE_TREE to CONFIG_HAS_PLATFORM_DT (with a suitable `help` message for clarity, even though it would always be enabled) should help clarify things. Does that sound reasonable? Cheers, Alejandro
