src/mainboard/supermicro/x6dhe_g2/Kconfig

   1 if BOARD_SUPERMICRO_X6DHE_G2
   2
   3 config BOARD_SPECIFIC_OPTIONS # dummy
   4         def_bool y
   5         select ARCH_X86
   6         select CPU_INTEL_SOCKET_MPGA604
   7         select NORTHBRIDGE_INTEL_E7520
   8         select SOUTHBRIDGE_INTEL_I82801EX
   9         select SOUTHBRIDGE_INTEL_PXHD
  10         select SUPERIO_NSC_PC87427
  11         select ROMCC
  12         select BOARD_HAS_HARD_RESET
  13         select HAVE_OPTION_TABLE
  14         select HAVE_PIRQ_TABLE
  15         select HAVE_MP_TABLE
  16         select BOARD_ROMSIZE_KB_1024
  17         select USE_WATCHDOG_ON_BOOT
  18         select DRIVERS_GENERIC_DEBUG
  19
  20 config MAINBOARD_DIR
  21         string
  22         default supermicro/x6dhe_g2
  23
  24 config MAINBOARD_PART_NUMBER
  25         string
  26         default "X6DHE-G2"
  27
  28 config MAX_CPUS
  29         int
  30         default 4
  31
  32 config IRQ_SLOT_COUNT
  33         int
  34         default 15
  35
  36 endif # BOARD_SUPERMICRO_X6DHE_G2