On 16.06.2025 16:12, Alejandro Vallejo wrote: > 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. > > 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?
Perhaps. The main input has to come from DT maintainers, though. Jan