1 if TARGET_MICROBLAZE_GENERIC 2 3 config SYS_BOARD 4 default "microblaze-generic" 5 6 config SYS_VENDOR 7 default "xilinx" 8 9 config SYS_CONFIG_NAME 10 string "Board configuration name" 11 default "microblaze-generic" 12 help 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. 16 17 config XILINX_MICROBLAZE0_USE_MSR_INSTR 18 int "USE_MSR_INSTR range (0:1)" 19 default 0 20 21 config XILINX_MICROBLAZE0_USE_PCMP_INSTR 22 int "USE_PCMP_INSTR range (0:1)" 23 default 0 24 25 config XILINX_MICROBLAZE0_USE_BARREL 26 int "USE_BARREL range (0:1)" 27 default 0 28 29 config XILINX_MICROBLAZE0_USE_DIV 30 int "USE_DIV range (0:1)" 31 default 0 32 33 config XILINX_MICROBLAZE0_USE_HW_MUL 34 int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)" 35 default 0 36 37 config XILINX_MICROBLAZE0_HW_VER 38 string "Core version number" 39 default 7.10.d 40 41 endif 42
