We call this cache as ram everywhere, so let's call it the same in Kconfig
[coreboot.git] / src / mainboard / tyan / s2735 / Kconfig
blobc4b15807ecc410a058ddd3773f342ec3ce788f0c
1 if BOARD_TYAN_S2735
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 BOARD_HAS_HARD_RESET
13         select HAVE_PIRQ_TABLE
14         select HAVE_MP_TABLE
15         select UDELAY_TSC
16         select HAVE_OPTION_TABLE
17         select CACHE_AS_RAM
18         select USE_WATCHDOG_ON_BOOT
19         select BOARD_ROMSIZE_KB_512
21 config MAINBOARD_DIR
22         string
23         default tyan/s2735
25 config DCACHE_RAM_BASE
26         hex
27         default 0xcf000
29 config DCACHE_RAM_SIZE
30         hex
31         default 0x1000
33 config MAINBOARD_PART_NUMBER
34         string
35         default "S2735"
37 config IRQ_SLOT_COUNT
38         int
39         default 15
41 config MAX_CPUS
42         int
43         default 4
45 config MAX_PHYSICAL_CPUS
46         int
47         default 2
49 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
50         hex
51         default 0x2735
53 endif # BOARD_TYAN_S2735