src/mainboard/tyan/s2735/Kconfig

if BOARD_TYAN_S2735

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select ARCH_X86
	select CPU_INTEL_SOCKET_MPGA604
	select NORTHBRIDGE_INTEL_E7501
	select SOUTHBRIDGE_INTEL_I82870
	select SOUTHBRIDGE_INTEL_I82801EX
	select SUPERIO_WINBOND_W83627HF
	select HAVE_PIRQ_TABLE
	select HAVE_MP_TABLE
	select UDELAY_TSC
	select HAVE_OPTION_TABLE
	select CACHE_AS_RAM
	select USE_WATCHDOG_ON_BOOT
	select BOARD_ROMSIZE_KB_512

config MAINBOARD_DIR
	string
	default tyan/s2735

config DCACHE_RAM_BASE
	hex
	default 0xcf000

config DCACHE_RAM_SIZE
	hex
	default 0x1000

config MAINBOARD_PART_NUMBER
	string
	default "S2735"

config IRQ_SLOT_COUNT
	int
	default 15

config MAX_CPUS
	int
	default 4

config MAX_PHYSICAL_CPUS
	int
	default 2

endif # BOARD_TYAN_S2735