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_I82801ER
   7         select SOUTHBRIDGE_INTEL_PXHD
   8         select SUPERIO_NSC_PC8374
   9         select ROMCC
  10         select HAVE_PIRQ_TABLE
  11         select HAVE_MP_TABLE
  12         select BOARD_ROMSIZE_KB_1024
  13         select UDELAY_TSC
  14
  15 config MAINBOARD_DIR
  16         string
  17         default dell/s1850
  18         depends on BOARD_DELL_S1850
  19
  20 config LB_CKS_RANGE_END
  21         int
  22         default 122
  23         depends on BOARD_DELL_S1850
  24
  25 config LB_CKS_LOC
  26         int
  27         default 123
  28         depends on BOARD_DELL_S1850
  29
  30 config MAINBOARD_PART_NUMBER
  31         string
  32         default "PowerEdge 1850"
  33         depends on BOARD_DELL_S1850
  34
  35 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  36         hex
  37         default 0x5580
  38         depends on BOARD_DELL_S1850
  39
  40 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
  41         hex
  42         default 0x15d9
  43         depends on BOARD_DELL_S1850
  44
  45
  46 config MAX_CPUS
  47         int
  48         default 4
  49         depends on BOARD_DELL_S1850
  50
  51 config MAX_PHYSICAL_CPUS
  52         int
  53         default 1
  54         depends on BOARD_DELL_S1850
  55
  56 config USE_INIT
  57         bool
  58         default n
  59         depends on BOARD_DELL_S1850
  60
  61 config IRQ_SLOT_COUNT
  62         int
  63         default 9
  64         depends on BOARD_DELL_S1850