src/mainboard/dell/s1850/Kconfig

   1 if BOARD_DELL_S1850
   2
   3 config BOARD_SPECIFIC_OPTIONS # dummy
   4         def_bool y
   5         select ARCH_X86
   6         select CPU_INTEL_SOCKET_MPGA604
   7         select NORTHBRIDGE_INTEL_E7520
   8         select SOUTHBRIDGE_INTEL_I82801EX
   9         select SOUTHBRIDGE_INTEL_PXHD
  10         select SUPERIO_NSC_PC8374
  11         select ROMCC
  12         select HAVE_HARD_RESET
  13         select HAVE_OPTION_TABLE
  14         select BOARD_HAS_HARD_RESET
  15         select HAVE_PIRQ_TABLE
  16         select HAVE_MP_TABLE
  17         select USE_WATCHDOG_ON_BOOT
  18         select BOARD_ROMSIZE_KB_1024
  19         select UDELAY_TSC
  20
  21 config MAINBOARD_DIR
  22         string
  23         default dell/s1850
  24
  25 config MAINBOARD_PART_NUMBER
  26         string
  27         default "PowerEdge 1850"
  28
  29 config MAX_CPUS
  30         int
  31         default 4
  32
  33 config MAX_PHYSICAL_CPUS
  34         int
  35         default 1
  36
  37 config IRQ_SLOT_COUNT
  38         int
  39         default 9
  40
  41 config DIMM_MAP_LOGICAL
  42         hex
  43         default 0x2841
  44
  45 endif # BOARD_DELL_S1850