x86: Add support for starting 64-bit kernel

[platform/kernel/u-boot.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index fc5e7cd..932fc8b 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -70,8 +70,15 @@ config TPL_BUILD
        depends on $KCONFIG_OBJDIR="tpl"
        default y
 
+config SUPPORT_SPL
+       bool
+
+config SUPPORT_TPL
+       bool
+
 config SPL
        bool
+       depends on SUPPORT_SPL
        prompt "Enable SPL" if !SPL_BUILD
        default y if SPL_BUILD
        help
@@ -79,7 +86,7 @@ config SPL
 
 config TPL
        bool
-       depends on SPL
+       depends on SPL && SUPPORT_TPL
        prompt "Enable TPL" if !SPL_BUILD
        default y if TPL_BUILD
        default n
@@ -106,6 +113,8 @@ source "arch/Kconfig"
 
 source "common/Kconfig"
 
+source "dts/Kconfig"
+
 source "net/Kconfig"
 
 source "drivers/Kconfig"