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, I think what we need is a new Kconfig setting to control the use of dom0less-build.c. Jan
