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         default "microblaze-generic"
  11
  12 config XILINX_MICROBLAZE0_USE_MSR_INSTR
  13         int "USE_MSR_INSTR range (0:1)"
  14         default 0
  15
  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
  32 config XILINX_MICROBLAZE0_HW_VER
  33         string "Core version number"
  34         default 7.10.d
  35
  36 endif