if TARGET_MICROBLAZE_GENERIC 
 | 
  
 | 
config SYS_BOARD 
 | 
    default "microblaze-generic" 
 | 
  
 | 
config SYS_VENDOR 
 | 
    default "xilinx" 
 | 
  
 | 
config SYS_CONFIG_NAME 
 | 
    string "Board configuration name" 
 | 
    default "microblaze-generic" 
 | 
    help 
 | 
      This option contains information about board configuration name. 
 | 
      Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header 
 | 
      will be used for board configuration. 
 | 
  
 | 
config XILINX_MICROBLAZE0_USE_MSR_INSTR 
 | 
    int "USE_MSR_INSTR range (0:1)" 
 | 
    default 0 
 | 
  
 | 
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 
 | 
  
 | 
config XILINX_MICROBLAZE0_HW_VER 
 | 
    string "Core version number" 
 | 
    default 7.10.d 
 | 
  
 | 
endif 
 |