src/mainboard/intel/truxton/Kconfig

   1 config BOARD_INTEL_TRUXTON
   2         bool "EP80579 devkit (Truxton)"
   3         select ARCH_X86
   4         select CPU_INTEL_EP80579
   5         select NORTHBRIDGE_INTEL_I3100
   6         select SOUTHBRIDGE_INTEL_I3100
   7         select SUPERIO_INTEL_I3100
   8         select SUPERIO_SMSC_SMSCSUPERIO
   9         select ROMCC
  10         select HAVE_HARD_RESET
  11         select HAVE_PIRQ_TABLE
  12         select HAVE_MP_TABLE
  13         select UDELAY_TSC
  14         select BOARD_ROMSIZE_KB_2048
  15
  16 config MAINBOARD_DIR
  17         string
  18         default intel/truxton
  19         depends on BOARD_INTEL_TRUXTON
  20
  21 config MAINBOARD_PART_NUMBER
  22         string
  23         default "Truxton"
  24         depends on BOARD_INTEL_TRUXTON
  25
  26 config IRQ_SLOT_COUNT
  27         int
  28         default 1
  29         depends on BOARD_INTEL_TRUXTON
  30
  31 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
  32         hex
  33         default 0x8086
  34         depends on BOARD_INTEL_TRUXTON
  35
  36 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  37         hex
  38         default 0x2680
  39         depends on BOARD_INTEL_TRUXTON
  40
  41 config MAX_CPUS
  42         int
  43         default 4
  44         depends on BOARD_INTEL_TRUXTON