| if TARGET_MICROBLAZE_GENERIC | |
| config SYS_BOARD | |
| default "microblaze-generic" | |
| config SYS_VENDOR | |
| default "xilinx" | |
| config SYS_CONFIG_NAME | |
| default "microblaze-generic" | |
| config XILINX_MICROBLAZE0_USE_PCMP_INSTR | |
| int "USE_PCMP_INSTR range (0:1)" | |
| default 0 | |
| config XILINX_MICROBLAZE0_USE_BARREL | |
| int "USE_BARREL range (0:1)" | |
| default 0 | |
| config XILINX_MICROBLAZE0_USE_DIV | |
| int "USE_DIV range (0:1)" | |
| default 0 | |
| config XILINX_MICROBLAZE0_USE_HW_MUL | |
| int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)" | |
| default 0 | |
| endif |