src/mainboard/intel/jarrell/Kconfig

   1 if BOARD_INTEL_JARRELL
   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_PXHD
   9         select SOUTHBRIDGE_INTEL_I82801EX
  10         select SUPERIO_NSC_PC87427
  11         select ROMCC
  12         select HAVE_HARD_RESET
  13         select BOARD_HAS_HARD_RESET
  14         select HAVE_OPTION_TABLE
  15         select HAVE_PIRQ_TABLE
  16         select HAVE_MP_TABLE
  17         select UDELAY_TSC
  18         select USE_WATCHDOG_ON_BOOT
  19         select ATI_RAGE_XL
  20         select BOARD_ROMSIZE_KB_2048
  21
  22 config MAINBOARD_DIR
  23         string
  24         default intel/jarrell
  25
  26 config MAINBOARD_PART_NUMBER
  27         string
  28         default "Jarrell"
  29
  30 config MAX_CPUS
  31         int
  32         default 4
  33
  34 config IRQ_SLOT_COUNT
  35         int
  36         default 18
  37
  38 config DIMM_MAP_LOGICAL
  39         hex
  40         default 0x0124
  41
  42 endif # BOARD_INTEL_JARRELL