Re: [PATCH v3 05/16] kconfig: introduce domain builder config option

On 10.04.2025 14:52, Alejandro Vallejo wrote: > On Thu Apr 10, 2025 at 10:08 AM BST, Jan Beulich wrote: >> 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 >

Re: [PATCH v3 05/16] kconfig: introduce domain builder config option

On Thu Apr 10, 2025 at 10:08 AM BST, Jan Beulich wrote: > 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,

Re: [PATCH v3 05/16] kconfig: introduce domain builder config option

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