]>
Commit | Line | Data |
---|---|---|
dd84058d MY |
1 | if TARGET_MICROBLAZE_GENERIC |
2 | ||
3 | config SYS_BOARD | |
dd84058d MY |
4 | default "microblaze-generic" |
5 | ||
6 | config SYS_VENDOR | |
dd84058d MY |
7 | default "xilinx" |
8 | ||
9 | config SYS_CONFIG_NAME | |
dd84058d MY |
10 | default "microblaze-generic" |
11 | ||
ac551e34 MS |
12 | config XILINX_MICROBLAZE0_USE_MSR_INSTR |
13 | int "USE_MSR_INSTR range (0:1)" | |
14 | default 0 | |
15 | ||
91eeb80e MS |
16 | config XILINX_MICROBLAZE0_USE_PCMP_INSTR |
17 | int "USE_PCMP_INSTR range (0:1)" | |
18 | default 0 | |
19 | ||
20 | config XILINX_MICROBLAZE0_USE_BARREL | |
21 | int "USE_BARREL range (0:1)" | |
22 | default 0 | |
23 | ||
24 | config XILINX_MICROBLAZE0_USE_DIV | |
25 | int "USE_DIV range (0:1)" | |
26 | default 0 | |
27 | ||
28 | config XILINX_MICROBLAZE0_USE_HW_MUL | |
29 | int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)" | |
30 | default 0 | |
31 | ||
4ad1096e MS |
32 | config XILINX_MICROBLAZE0_HW_VER |
33 | string "Core version number" | |
34 | default 7.10.d | |
35 | ||
dd84058d | 36 | endif |