MAINTAINERS: socfpga: update email address for Dinh Nguyen

[u-boot] / common / Kconfig

diff --git a/common/Kconfig b/common/Kconfig
index ff2b1a400bd1015feef13d7083da0be0196d9765..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
@@ -335,8 +341,22 @@ config SYS_CONSOLE_INFO_QUIET
          Enable this option to supress this output. It can be obtained by
          calling stdio_print_current_devices() from board code.
 
+config SYS_STDIO_DEREGISTER
+       bool "Allow deregistering stdio devices"
+       default y if USB_KEYBOARD
+       help
+         Generally there is no need to deregister stdio devices since they
+         are never deactivated. But if a stdio device is used which can be
+         removed (for example a USB keyboard) then this option can be
+         enabled to ensure this is handled correctly.
+
 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