src/mainboard/dell/s1850/Kconfig

   1 config BOARD_DELL_S1850
   2         bool "PowerEdge 1850"
   3         select ARCH_X86
   4         select CPU_INTEL_SOCKET_MPGA604
   5         select NORTHBRIDGE_INTEL_E7520
   6         select SOUTHBRIDGE_INTEL_I82801EX
   7         select SOUTHBRIDGE_INTEL_PXHD
   8         select SUPERIO_NSC_PC8374
   9         select ROMCC
  10         select HAVE_HARD_RESET
  11         select HAVE_OPTION_TABLE
  12         select BOARD_HAS_HARD_RESET
  13         select HAVE_PIRQ_TABLE
  14         select HAVE_MP_TABLE
  15         select USE_WATCHDOG_ON_BOOT
  16         select BOARD_ROMSIZE_KB_1024
  17         select UDELAY_TSC
  18
  19 config MAINBOARD_DIR
  20         string
  21         default dell/s1850
  22         depends on BOARD_DELL_S1850
  23
  24 config MAINBOARD_PART_NUMBER
  25         string
  26         default "PowerEdge 1850"
  27         depends on BOARD_DELL_S1850
  28
  29 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  30         hex
  31         default 0x5580
  32         depends on BOARD_DELL_S1850
  33
  34 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
  35         hex
  36         default 0x15d9
  37         depends on BOARD_DELL_S1850
  38
  39
  40 config MAX_CPUS
  41         int
  42         default 4
  43         depends on BOARD_DELL_S1850
  44
  45 config MAX_PHYSICAL_CPUS
  46         int
  47         default 1
  48         depends on BOARD_DELL_S1850
  49
  50 config IRQ_SLOT_COUNT
  51         int
  52         default 9
  53         depends on BOARD_DELL_S1850