On 23.07.2025 16:33, Oleksii Moisieiev wrote: > Hi Jan, > > On 23/07/2025 17:27, Jan Beulich wrote: >> On 23.07.2025 16:05, Oleksii Moisieiev wrote: >>> --- a/xen/arch/arm/Kconfig >>> +++ b/xen/arch/arm/Kconfig >>> @@ -19,6 +19,7 @@ config ARM >>> select HAS_ALTERNATIVE if HAS_VMAP >>> select HAS_DEVICE_TREE >>> select HAS_DOM0LESS >>> + select HAS_DOM0 >> This wants to move one line up, for the set to remain sorted. But see below. >> >>> --- a/xen/common/Kconfig >>> +++ b/xen/common/Kconfig >>> @@ -21,6 +21,14 @@ config DOM0LESS_BOOT >>> Xen boot without the need of a control domain (Dom0), which could be >>> present anyway. >>> >>> +config DOM0_BOOT >>> + bool "Dom0 boot support" if EXPERT >>> + depends on HAS_DOM0 && HAS_DEVICE_TREE && DOMAIN_BUILD_HELPERS >>> + default y >>> + help >>> + Dom0 boot support enables Xen to boot to the control domain (Dom0) and >>> + manage domU guests using the Xen toolstack with provided >>> configurations. >> What about non-Arm? x86 has a Dom0 too, but doesn't select HAS_DOM0. It >> actually requires a Dom0 for now, so to me HAS_DOM0 is a misnomer. Maybe >> HAS_OPTIONAL_DOM0? > Right now DOM0_BOOT is the only option for x86 so I've made the changes > only for arm.
But this aspect of x86 isn't reflected in the option properties above. Imo at this point x86 should have this option set to Y unconditionally. Jan