src/mainboard/supermicro/x6dhe_g/Kconfig

   1 config BOARD_SUPERMICRO_X6DHE_G
   2         bool "X6DHE-G"
   3         select ARCH_X86
   4         select CPU_INTEL_SOCKET_MPGA604
   5         select NORTHBRIDGE_INTEL_E7520
   6         select SOUTHBRIDGE_INTEL_ESB6300
   7         select SOUTHBRIDGE_INTEL_PXHD
   8         select SUPERIO_WINBOND_W83627HF
   9         select ROMCC
  10         select HAVE_HARD_RESET
  11         select BOARD_HAS_HARD_RESET
  12         select HAVE_PIRQ_TABLE
  13         select HAVE_MP_TABLE
  14         select BOARD_ROMSIZE_KB_1024
  15         select DRIVERS_GENERIC_DEBUG
  16
  17 config MAINBOARD_DIR
  18         string
  19         default supermicro/x6dhe_g
  20         depends on BOARD_SUPERMICRO_X6DHE_G
  21
  22 config MAINBOARD_PART_NUMBER
  23         string
  24         default "X6DHE-G"
  25         depends on BOARD_SUPERMICRO_X6DHE_G
  26
  27 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
  28         hex
  29         default 0x15d9
  30         depends on BOARD_SUPERMICRO_X6DHE_G
  31
  32 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  33         hex
  34         default 0x6080
  35         depends on BOARD_SUPERMICRO_X6DHE_G
  36
  37 config MAX_CPUS
  38         int
  39         default 4
  40         depends on BOARD_SUPERMICRO_X6DHE_G
  41
  42 config IRQ_SLOT_COUNT
  43         int
  44         default 15
  45         depends on BOARD_SUPERMICRO_X6DHE_G
  46