[PATCH v1 08/18] kconfig: introduce domain builder config option

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

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 <dpsmith@xxxxxxxxxxxxxxxxxxxx>
Reviewed-by: Christopher Clark <christopher.clark@xxxxxxxxxx>
---
 xen/common/Kconfig                |  1 +
 xen/common/domain-builder/Kconfig | 15 +++++++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 xen/common/domain-builder/Kconfig

diff --git a/xen/common/Kconfig b/xen/common/Kconfig
index 9fc6683932..5a1c40e392 100644
--- a/xen/common/Kconfig
+++ b/xen/common/Kconfig
@@ -355,6 +355,7 @@ config ARGO
 
          If unsure, say N.
 
+source "common/domain-builder/Kconfig"
 source "common/sched/Kconfig"
 
 config CRYPTO
diff --git a/xen/common/domain-builder/Kconfig 
b/xen/common/domain-builder/Kconfig
new file mode 100644
index 0000000000..893038cab3
--- /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
+       ---help---
+         Enables the ability to configure the domain builder using a
+         flattened device tree.
+
+         This feature is currently experimental.
+
+         If unsure, say N.
+
+endmenu
-- 
2.20.1