src/mainboard/tyan/s2735/Kconfig

   1 config BOARD_TYAN_S2735
   2         bool "S2735 (Tiger i7501R)"
   3         select ARCH_X86
   4         select CPU_INTEL_SOCKET_MPGA604
   5         select NORTHBRIDGE_INTEL_E7501
   6         select SOUTHBRIDGE_INTEL_I82870
   7         select SOUTHBRIDGE_INTEL_I82801EX
   8         select SUPERIO_WINBOND_W83627HF
   9         select HAVE_HARD_RESET
  10         select BOARD_HAS_HARD_RESET
  11         select HAVE_PIRQ_TABLE
  12         select HAVE_MP_TABLE
  13         select UDELAY_TSC
  14         select HAVE_OPTION_TABLE
  15         select USE_DCACHE_RAM
  16         select USE_WATCHDOG_ON_BOOT
  17         select BOARD_ROMSIZE_KB_512
  18         select USE_PRINTK_IN_CAR
  19
  20 config MAINBOARD_DIR
  21         string
  22         default tyan/s2735
  23         depends on BOARD_TYAN_S2735
  24
  25 config DCACHE_RAM_BASE
  26         hex
  27         default 0xcf000
  28         depends on BOARD_TYAN_S2735
  29
  30 config DCACHE_RAM_SIZE
  31         hex
  32         default 0x1000
  33         depends on BOARD_TYAN_S2735
  34
  35 config MAINBOARD_PART_NUMBER
  36         string
  37         default "S2735"
  38         depends on BOARD_TYAN_S2735
  39
  40 config IRQ_SLOT_COUNT
  41         int
  42         default 15
  43         depends on BOARD_TYAN_S2735
  44
  45 config MAX_CPUS
  46         int
  47         default 4
  48         depends on BOARD_TYAN_S2735
  49
  50 config MAX_PHYSICAL_CPUS
  51         int
  52         default 2
  53         depends on BOARD_TYAN_S2735
  54
  55 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  56         hex
  57         default 0x2735
  58         depends on BOARD_TYAN_S2735
  59