mx6sabresd: Make SPL DDR configuration to match the DCD table

[u-boot] / lib / Kconfig

diff --git a/lib/Kconfig b/lib/Kconfig
index 078ef5c29e49e18a075b5f7c03519a6307470b6a..16ff01a2cd37490e131924bf6c0d04b5f88823d0 100644 (file)
--- a/lib/Kconfig
+++ b/lib/Kconfig
@@ -14,9 +14,10 @@ config HAVE_PRIVATE_LIBGCC
 config USE_PRIVATE_LIBGCC
        bool "Use private libgcc"
        depends on HAVE_PRIVATE_LIBGCC
+       default y if HAVE_PRIVATE_LIBGCC && ((ARM && !ARM64) || MIPS)
        help
          This option allows you to use the built-in libgcc implementation
-         of U-Boot instead of the one privided by the compiler.
+         of U-Boot instead of the one provided by the compiler.
          If unsure, say N.
 
 config SYS_HZ
@@ -138,6 +139,11 @@ config OF_LIBFDT
          particular compatible nodes. The library operates on a flattened
          version of the device tree.
 
+config OF_LIBFDT_OVERLAY
+       bool "Enable the FDT library overlay support"
+       help
+         This enables the FDT library (libfdt) overlay support.
+
 config SPL_OF_LIBFDT
        bool "Enable the FDT library for SPL"
        default y if SPL_OF_CONTROL
@@ -149,5 +155,6 @@ config SPL_OF_LIBFDT
          version of the device tree.
 
 source lib/efi/Kconfig
+source lib/efi_loader/Kconfig
 
 endmenu