1dd84058dSMasahiro Yamadaif TARGET_MICROBLAZE_GENERIC
2dd84058dSMasahiro Yamada
3dd84058dSMasahiro Yamadaconfig SYS_BOARD
4dd84058dSMasahiro Yamada	default "microblaze-generic"
5dd84058dSMasahiro Yamada
6dd84058dSMasahiro Yamadaconfig SYS_VENDOR
7dd84058dSMasahiro Yamada	default "xilinx"
8dd84058dSMasahiro Yamada
9dd84058dSMasahiro Yamadaconfig SYS_CONFIG_NAME
1036458cefSSai Pavan Boddu	string "Board configuration name"
11dd84058dSMasahiro Yamada	default "microblaze-generic"
1236458cefSSai Pavan Boddu	help
1336458cefSSai Pavan Boddu	  This option contains information about board configuration name.
1436458cefSSai Pavan Boddu	  Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
1536458cefSSai Pavan Boddu	  will be used for board configuration.
16dd84058dSMasahiro Yamada
17ac551e34SMichal Simekconfig XILINX_MICROBLAZE0_USE_MSR_INSTR
18ac551e34SMichal Simek	int "USE_MSR_INSTR range (0:1)"
19ac551e34SMichal Simek	default 0
20ac551e34SMichal Simek
2191eeb80eSMichal Simekconfig XILINX_MICROBLAZE0_USE_PCMP_INSTR
2291eeb80eSMichal Simek	int "USE_PCMP_INSTR range (0:1)"
2391eeb80eSMichal Simek	default 0
2491eeb80eSMichal Simek
2591eeb80eSMichal Simekconfig XILINX_MICROBLAZE0_USE_BARREL
2691eeb80eSMichal Simek	int "USE_BARREL range (0:1)"
2791eeb80eSMichal Simek	default 0
2891eeb80eSMichal Simek
2991eeb80eSMichal Simekconfig XILINX_MICROBLAZE0_USE_DIV
3091eeb80eSMichal Simek	int "USE_DIV range (0:1)"
3191eeb80eSMichal Simek	default 0
3291eeb80eSMichal Simek
3391eeb80eSMichal Simekconfig XILINX_MICROBLAZE0_USE_HW_MUL
3491eeb80eSMichal Simek	int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)"
3591eeb80eSMichal Simek	default 0
3691eeb80eSMichal Simek
374ad1096eSMichal Simekconfig XILINX_MICROBLAZE0_HW_VER
384ad1096eSMichal Simek	string "Core version number"
39*8a32077eSMichal Simek	default "7.10.d"
404ad1096eSMichal Simek
41dd84058dSMasahiro Yamadaendif
42