On 08.04.2025 18:07, Alejandro Vallejo wrote: > --- /dev/null > +++ b/xen/arch/x86/domain-builder/Kconfig
This really looks to be the first patch where it needs settling on whether all of this is to live under arch/x86/. If it is to, the reasons need writing down somewhere - maybe not here, but at least in the cover letter. > @@ -0,0 +1,15 @@ > + > +menu "Domain Builder Features" > + > +config DOMAIN_BUILDER > + bool "Domain builder (UNSUPPORTED)" if UNSUPPORTED > + select LIB_DEVICE_TREE Was this meant to be LIBFDT? Jan