[PATCH 05/15] kconfig: introduce domain builder config option

["Daniel P. Smith" <dpsmith@xxxxxxxxxxxxxxxxxxxx>]

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@xxxxxxxxxxxxxxxxxxxx>
---
 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

diff --git a/xen/arch/x86/Kconfig b/xen/arch/x86/Kconfig
index 9cdd04721afa..25b9b75423c5 100644
--- a/xen/arch/x86/Kconfig
+++ b/xen/arch/x86/Kconfig
@@ -383,6 +383,8 @@ config ALTP2M
 
          If unsure, stay with defaults.
 
+source "arch/x86/domain_builder/Kconfig"
+
 endmenu
 
 source "common/Kconfig"
diff --git a/xen/arch/x86/domain_builder/Kconfig 
b/xen/arch/x86/domain_builder/Kconfig
new file mode 100644
index 000000000000..7be2ec3ed00f
--- /dev/null
+++ b/xen/arch/x86/domain_builder/Kconfig
@@ -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
-- 
2.30.2