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 PIRQ_TABLE
  10
  11 config MAINBOARD_DIR
  12         string
  13         default dell/s1850
  14         depends on BOARD_DELL_S1850
  15
  16 config LB_CKS_RANGE_END
  17         int
  18         default 122
  19         depends on BOARD_DELL_S1850
  20
  21 config LB_CKS_LOC
  22         int
  23         default 123
  24         depends on BOARD_DELL_S1850
  25
  26 config MAINBOARD_PART_NUMBER
  27         string
  28         default "s1850"
  29         depends on BOARD_DELL_S1850
  30
  31 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  32         hex
  33         default 0x016c
  34         depends on BOARD_DELL_S1850
  35
  36 config MAX_CPUS
  37         int
  38         default 2
  39         depends on BOARD_DELL_S1850
  40
  41 config MAX_PHYSICAL_CPUS
  42         int
  43         default 2
  44         depends on BOARD_DELL_S1850
  45
  46 config USE_INIT
  47         bool
  48         default n
  49         depends on BOARD_DELL_S1850
  50
  51 config IRQ_SLOT_COUNT
  52         int
  53         default 9
  54         depends on BOARD_DELL_S1850