1 if TARGET_MICROBLAZE_GENERIC
4 default "microblaze-generic"
10 string "Board configuration name"
11 default "microblaze-generic"
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.
17 config XILINX_MICROBLAZE0_USE_MSR_INSTR
18 int "USE_MSR_INSTR range (0:1)"
21 config XILINX_MICROBLAZE0_USE_PCMP_INSTR
22 int "USE_PCMP_INSTR range (0:1)"
25 config XILINX_MICROBLAZE0_USE_BARREL
26 int "USE_BARREL range (0:1)"
29 config XILINX_MICROBLAZE0_USE_DIV
30 int "USE_DIV range (0:1)"
33 config XILINX_MICROBLAZE0_USE_HW_MUL
34 int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)"
37 config XILINX_MICROBLAZE0_HW_VER
38 string "Core version number"