5768330fe102a406327a357528070ac6d3033269
[coreboot.git] / src / mainboard / rca / rm4100 / Kconfig
1 config BOARD_RCA_RM4100
2         bool "RM4100"
3         select ARCH_X86
4         select CPU_INTEL_SOCKET_PGA370
5         select NORTHBRIDGE_INTEL_I82830
6         select SOUTHBRIDGE_INTEL_I82801XX
7         select SUPERIO_SMSC_SMSCSUPERIO
8         select HAVE_PIRQ_TABLE
9         select UDELAY_TSC
10         select TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
11         select BOARD_ROMSIZE_KB_512
12
13 config MAINBOARD_DIR
14         string
15         default rca/rm4100
16         depends on BOARD_RCA_RM4100
17
18 config MAINBOARD_PART_NUMBER
19         string
20         default "RM4100"
21         depends on BOARD_RCA_RM4100
22
23 config HAVE_OPTION_TABLE
24         bool
25         default n
26         depends on BOARD_RCA_RM4100
27
28 config IRQ_SLOT_COUNT
29         int
30         default 7
31         depends on BOARD_RCA_RM4100
32
33 config VIDEO_MB
34         int
35         default 0
36         depends on BOARD_RCA_RM4100
37