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
index 01c157e7155996b8821b2658df74f477f00d4154..f2fa0f72b13f46ac7ba24b31fcac752266e7c7e3 100644 (file)
@@ -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)"
@@ -25,4 +34,8 @@ config XILINX_MICROBLAZE0_USE_HW_MUL
        int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)"
        default 0
 
+config XILINX_MICROBLAZE0_HW_VER
+       string "Core version number"
+       default "7.10.d"
+
 endif