src/mainboard/intel/xe7501devkit/Kconfig

   1 if BOARD_INTEL_XE7501DEVKIT
   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_E7501
   8         select SOUTHBRIDGE_INTEL_I82870
   9         select SOUTHBRIDGE_INTEL_I82801CX
  10         select SUPERIO_SMSC_LPC47B272
  11         select ROMCC
  12         select BOARD_HAS_HARD_RESET
  13         select HAVE_PIRQ_TABLE
  14         select HAVE_MP_TABLE
  15         select UDELAY_TSC
  16         select HAVE_ACPI_TABLES
  17         select BOARD_ROMSIZE_KB_2048
  18
  19 config MAINBOARD_DIR
  20         string
  21         default intel/xe7501devkit
  22
  23 config MAINBOARD_PART_NUMBER
  24         string
  25         default "XE7501devkit"
  26
  27 config IRQ_SLOT_COUNT
  28         int
  29         default 12
  30
  31 config MAX_CPUS
  32         int
  33         default 2
  34
  35 config MAX_PHYSICAL_CPUS
  36         int
  37         default 2
  38
  39 endif # BOARD_INTEL_XE7501DEVKIT