board/xilinx/microblaze-generic/Kconfig

   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