src/mainboard/tyan/s2735/Kconfig

   1 if BOARD_TYAN_S2735
   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_E7501
   8         select SOUTHBRIDGE_INTEL_I82870
   9         select SOUTHBRIDGE_INTEL_I82801EX
  10         select SUPERIO_WINBOND_W83627HF
  11         select HAVE_HARD_RESET
  12         select HAVE_PIRQ_TABLE
  13         select HAVE_MP_TABLE
  14         select UDELAY_TSC
  15         select HAVE_OPTION_TABLE
  16         select CACHE_AS_RAM
  17         select USE_WATCHDOG_ON_BOOT
  18         select BOARD_ROMSIZE_KB_512
  19
  20 config MAINBOARD_DIR
  21         string
  22         default tyan/s2735
  23
  24 config DCACHE_RAM_BASE
  25         hex
  26         default 0xcf000
  27
  28 config DCACHE_RAM_SIZE
  29         hex
  30         default 0x1000
  31
  32 config MAINBOARD_PART_NUMBER
  33         string
  34         default "S2735"
  35
  36 config IRQ_SLOT_COUNT
  37         int
  38         default 15
  39
  40 config MAX_CPUS
  41         int
  42         default 4
  43
  44 config MAX_PHYSICAL_CPUS
  45         int
  46         default 2
  47
  48 endif # BOARD_TYAN_S2735