Merge tag 'video-updates-for-2019.01-rc2' of git://git.denx.de/u-boot-video

[oweals/u-boot.git] / board / xilinx / microblaze-generic / Kconfig

diff --git a/board/xilinx/microblaze-generic/Kconfig b/board/xilinx/microblaze-generic/Kconfig
index c8b11ca82eea2f18e1cde715022821ae55aa93c6..f2fa0f72b13f46ac7ba24b31fcac752266e7c7e3 100644 (file)
--- a/board/xilinx/microblaze-generic/Kconfig
+++ b/board/xilinx/microblaze-generic/Kconfig
@@ -7,7 +7,16 @@ config SYS_VENDOR
        default "xilinx"
 
 config SYS_CONFIG_NAME
+       string "Board configuration name"
        default "microblaze-generic"
+       help
+         This option contains information about board configuration name.
+         Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
+         will be used for board configuration.
+
+config XILINX_MICROBLAZE0_USE_MSR_INSTR
+       int "USE_MSR_INSTR range (0:1)"
+       default 0
 
 config XILINX_MICROBLAZE0_USE_PCMP_INSTR
        int "USE_PCMP_INSTR range (0:1)"
@@ -27,6 +36,6 @@ config XILINX_MICROBLAZE0_USE_HW_MUL
 
 config XILINX_MICROBLAZE0_HW_VER
        string "Core version number"
-       default 7.10.d
+       default "7.10.d"
 
 endif