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