src/mainboard/supermicro/x6dai_g/Kconfig

   1 if BOARD_SUPERMICRO_X6DAI_G
   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_E7525
   8         select SOUTHBRIDGE_INTEL_ESB6300
   9         select SUPERIO_WINBOND_W83627HF
  10         select ROMCC
  11         select HAVE_HARD_RESET
  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
  18 config MAINBOARD_DIR
  19         string
  20         default supermicro/x6dai_g
  21
  22 config MAINBOARD_PART_NUMBER
  23         string
  24         default "X6DAi-G"
  25
  26 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
  27         hex
  28         default 0x15d9
  29
  30 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  31         hex
  32         default 0x6780
  33
  34 config MAX_CPUS
  35         int
  36         default 4
  37
  38 config IRQ_SLOT_COUNT
  39         int
  40         default 15
  41
  42 endif # BOARD_SUPERMICRO_X6DAI_G