1 config BOARD_THOMSON_IP1000
4 select CPU_INTEL_SOCKET_MFCBGA479
5 select NORTHBRIDGE_INTEL_I82830
6 select SOUTHBRIDGE_INTEL_I82801DX
7 select SUPERIO_SMSC_SMSCSUPERIO
10 select BOARD_ROMSIZE_KB_512
11 select HAVE_HARD_RESET
12 select HAVE_MAINBOARD_RESOURCES
13 select USE_PRINTK_IN_CAR
14 select HAVE_SMI_HANDLER
21 default thomson/ip1000
22 depends on BOARD_THOMSON_IP1000
24 config MAINBOARD_PART_NUMBER
27 depends on BOARD_THOMSON_IP1000
29 config DCACHE_RAM_BASE
32 depends on BOARD_THOMSON_IP1000
34 config DCACHE_RAM_SIZE
37 depends on BOARD_THOMSON_IP1000
42 depends on BOARD_THOMSON_IP1000