| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | if TARGET_MICROBLAZE_GENERIC |
| 2 | |
| 3 | config SYS_BOARD |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 4 | default "microblaze-generic" |
| 5 | |
| 6 | config SYS_VENDOR |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 7 | default "xilinx" |
| 8 | |
| 9 | config SYS_CONFIG_NAME |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 10 | default "microblaze-generic" |
| 11 | |
| Michal Simek | 91eeb80 | 2016-05-24 11:42:26 +0200 | [diff] [blame] | 12 | config XILINX_MICROBLAZE0_USE_PCMP_INSTR |
| 13 | int "USE_PCMP_INSTR range (0:1)" |
| 14 | default 0 |
| 15 | |
| 16 | config XILINX_MICROBLAZE0_USE_BARREL |
| 17 | int "USE_BARREL range (0:1)" |
| 18 | default 0 |
| 19 | |
| 20 | config XILINX_MICROBLAZE0_USE_DIV |
| 21 | int "USE_DIV range (0:1)" |
| 22 | default 0 |
| 23 | |
| 24 | config XILINX_MICROBLAZE0_USE_HW_MUL |
| 25 | int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)" |
| 26 | default 0 |
| 27 | |
| Michal Simek | 4ad1096 | 2016-05-24 13:23:59 +0200 | [diff] [blame^] | 28 | config XILINX_MICROBLAZE0_HW_VER |
| 29 | string "Core version number" |
| 30 | default 7.10.d |
| 31 | |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 32 | endif |