On 7/19/22 09:29, Jan Beulich wrote:
> On 06.07.2022 23:04, Daniel P. Smith wrote:
>> --- /dev/null
>> +++ b/xen/common/domain-builder/Kconfig
>> @@ -0,0 +1,15 @@
>> +
>> +menu "Domain Builder Features"
>> +
>> +config BUILDER_FDT
>> +bool "Domain builder device tree (UNSUPPORTED)" if UNSUPPO
On 06.07.2022 23:04, Daniel P. Smith wrote:
> --- /dev/null
> +++ b/xen/common/domain-builder/Kconfig
> @@ -0,0 +1,15 @@
> +
> +menu "Domain Builder Features"
> +
> +config BUILDER_FDT
> + bool "Domain builder device tree (UNSUPPORTED)" if UNSUPPORTED
> + select CORE_DEVICE_TREE
> + ---
Hi Daniel,
> -Original Message-
> Subject: [PATCH v1 08/18] kconfig: introduce domain builder config option
>
> Hyperlaunch domain builder is the consolidated boot time domain building
> logic
> framework. This commit introduces the first config option for the d
Hyperlaunch domain builder is the consolidated boot time domain building logic
framework. This commit introduces the first config option for the domain
builder to control support for loading the domain configurations via the
flattened device tree.
Signed-off-by: Daniel P. Smith
Reviewed-by: Chri
