MAINTAINERS: socfpga: update email address for Dinh Nguyen

[u-boot] / common / Kconfig

diff --git a/common/Kconfig b/common/Kconfig
index dbe5bb619baeed6463a466141d015a95475478e5..a04ee1084fed77200f69dfc12a504979a1ffe3f8 100644 (file)
--- a/common/Kconfig
+++ b/common/Kconfig
@@ -172,6 +172,12 @@ config BOOTDELAY
 
 menu "Console"
 
+config MENU
+       bool
+       help
+         This is the library functionality to provide a text-based menu of
+         choices for the user to make choices with.
+
 config CONSOLE_RECORD
        bool "Console recording"
        help
@@ -346,6 +352,11 @@ config SYS_STDIO_DEREGISTER
 
 endmenu
 
+config DEFAULT_FDT_FILE
+       string "Default fdt file"
+       help
+         This option is used to set the default fdt file to boot OS.
+
 config SYS_NO_FLASH
        bool "Disable support for parallel NOR flash"
        default n