src/mainboard/intel/xe7501devkit/Kconfig

   1 config BOARD_INTEL_XE7501DEVKIT
   2         bool "XE7501devkit"
   3         select ARCH_X86
   4         select CPU_INTEL_SOCKET_MPGA604
   5         select NORTHBRIDGE_INTEL_E7501
   6         select SOUTHBRIDGE_INTEL_I82870
   7         select SOUTHBRIDGE_INTEL_I82801CA
   8         select SUPERIO_SMSC_LPC47B272
   9         select ROMCC
  10         select HAVE_PIRQ_TABLE
  11         select HAVE_MP_TABLE
  12         select UDELAY_TSC
  13         select HAVE_OPTION_TABLE
  14         select HAVE_ACPI_TABLES
  15         select BOARD_ROMSIZE_KB_2048
  16
  17 config MAINBOARD_DIR
  18         string
  19         default intel/xe7501devkit
  20         depends on BOARD_INTEL_XE7501DEVKIT
  21
  22 config LB_CKS_RANGE_START
  23         int
  24         default 128
  25         depends on BOARD_INTEL_XE7501DEVKIT
  26
  27 config LB_CKS_RANGE_END
  28         int
  29         default 130
  30         depends on BOARD_INTEL_XE7501DEVKIT
  31
  32 config LB_CKS_LOC
  33         int
  34         default 131
  35         depends on BOARD_INTEL_XE7501DEVKIT
  36
  37 config MAINBOARD_PART_NUMBER
  38         string
  39         default "XE7501devkit"
  40         depends on BOARD_INTEL_XE7501DEVKIT
  41
  42 config IRQ_SLOT_COUNT
  43         int
  44         default 12
  45         depends on BOARD_INTEL_XE7501DEVKIT
  46
  47 config MAX_CPUS
  48         int
  49         default 2
  50         depends on BOARD_INTEL_XE7501DEVKIT
  51
  52 config MAX_PHYSICAL_CPUS
  53         int
  54         default 2
  55         depends on BOARD_INTEL_XE7501DEVKIT
  56
  57 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
  58         hex
  59         default 0x8086
  60         depends on BOARD_INTEL_XE7501DEVKIT
  61
  62 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  63         hex
  64         default 0x2480
  65         depends on BOARD_INTEL_XE7501DEVKIT
  66