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