Re: [PATCH v2 15/15] kconfig: Allow x86 to pick CONFIG_DOM0LESS_BOOT

2025-06-06 Thread Stefano Stabellini
On Thu, 5 Jun 2025, 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 d

[PATCH v2 15/15] kconfig: Allow x86 to pick CONFIG_DOM0LESS_BOOT

2025-06-05 Thread Alejandro Vallejo
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. Requires "unsupported" for the time being unti