@@ -383,6 +383,8 @@ config ALTP2M
If unsure, stay with defaults.
+source "arch/x86/domain_builder/Kconfig"
+
endmenu
source "common/Kconfig"
new file mode 100644
@@ -0,0 +1,15 @@
+
+menu "Domain Builder Features"
+
+config DOMAIN_BUILDER
+ bool "Domain builder (UNSUPPORTED)" if UNSUPPORTED
+ select LIB_DEVICE_TREE
+ help
+ Enables the domain builder capability to configure boot domain
+ construction using a flattened device tree.
+
+ This feature is currently experimental.
+
+ If unsure, say N.
+
+endmenu
Hyperlaunch domain builder will be the consolidated boot time domain building logic framework. Introduces the config option to enable this domain builder to and turn on the ability to load the domain configuration via a flattened device tree. Signed-off-by: Daniel P. Smith <dpsmith@apertussolutions.com> --- xen/arch/x86/Kconfig | 2 ++ xen/arch/x86/domain_builder/Kconfig | 15 +++++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 xen/arch/x86/domain_builder/Kconfig