Drop the USE_PRINTK_IN_CAR option. It's a bogus decision to make for any user /
[coreboot.git] / src / mainboard / thomson / ip1000 / Kconfig
1 config BOARD_THOMSON_IP1000
2         bool "IP1000"
3         select ARCH_X86
4         select CPU_INTEL_SOCKET_MFCBGA479
5         select NORTHBRIDGE_INTEL_I82830
6         select SOUTHBRIDGE_INTEL_I82801DX
7         select SUPERIO_SMSC_SMSCSUPERIO
8         select HAVE_PIRQ_TABLE
9         select UDELAY_TSC
10         select BOARD_ROMSIZE_KB_512
11         select HAVE_HARD_RESET
12         select HAVE_MAINBOARD_RESOURCES
13         select HAVE_SMI_HANDLER
14         select GFXUMA
15         select USE_DCACHE_RAM
16         select TINY_BOOTBLOCK
17
18 config MAINBOARD_DIR
19         string
20         default thomson/ip1000
21         depends on BOARD_THOMSON_IP1000
22
23 config MAINBOARD_PART_NUMBER
24         string
25         default "IP1000"
26         depends on BOARD_THOMSON_IP1000
27
28 config DCACHE_RAM_BASE
29         hex
30         default 0xffdf8000
31         depends on BOARD_THOMSON_IP1000
32
33 config DCACHE_RAM_SIZE
34         hex
35         default 0x8000
36         depends on BOARD_THOMSON_IP1000
37
38 config IRQ_SLOT_COUNT
39         int
40         default 7
41         depends on BOARD_THOMSON_IP1000