1if TARGET_MICROBLAZE_GENERIC
2
3config SYS_BOARD
4	default "microblaze-generic"
5
6config SYS_VENDOR
7	default "xilinx"
8
9config SYS_CONFIG_NAME
10	string "Board configuration name"
11	default "microblaze-generic"
12	help
13	  This option contains information about board configuration name.
14	  Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
15	  will be used for board configuration.
16
17config XILINX_MICROBLAZE0_USE_MSR_INSTR
18	int "USE_MSR_INSTR range (0:1)"
19	default 0
20
21config XILINX_MICROBLAZE0_USE_PCMP_INSTR
22	int "USE_PCMP_INSTR range (0:1)"
23	default 0
24
25config XILINX_MICROBLAZE0_USE_BARREL
26	int "USE_BARREL range (0:1)"
27	default 0
28
29config XILINX_MICROBLAZE0_USE_DIV
30	int "USE_DIV range (0:1)"
31	default 0
32
33config XILINX_MICROBLAZE0_USE_HW_MUL
34	int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)"
35	default 0
36
37config XILINX_MICROBLAZE0_HW_VER
38	string "Core version number"
39	default "7.10.d"
40
41endif
42