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