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	default "microblaze-generic"
11
12config XILINX_MICROBLAZE0_USE_MSR_INSTR
13	int "USE_MSR_INSTR range (0:1)"
14	default 0
15
16config XILINX_MICROBLAZE0_USE_PCMP_INSTR
17	int "USE_PCMP_INSTR range (0:1)"
18	default 0
19
20config XILINX_MICROBLAZE0_USE_BARREL
21	int "USE_BARREL range (0:1)"
22	default 0
23
24config XILINX_MICROBLAZE0_USE_DIV
25	int "USE_DIV range (0:1)"
26	default 0
27
28config XILINX_MICROBLAZE0_USE_HW_MUL
29	int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)"
30	default 0
31
32config XILINX_MICROBLAZE0_HW_VER
33	string "Core version number"
34	default 7.10.d
35
36endif
37