3 config BOARD_SPECIFIC_OPTIONS # dummy
6 select CPU_INTEL_SOCKET_MFCBGA479
7 select NORTHBRIDGE_INTEL_I82830
8 select SOUTHBRIDGE_INTEL_I82801DX
9 select SUPERIO_SMSC_SMSCSUPERIO
10 select HAVE_PIRQ_TABLE
12 select BOARD_ROMSIZE_KB_1024
13 select HAVE_MAINBOARD_RESOURCES
14 select HAVE_SMI_HANDLER
21 config MAINBOARD_PART_NUMBER
25 config DCACHE_RAM_BASE
29 config DCACHE_RAM_SIZE
37 endif # BOARD_RCA_RM4100