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_HARD_RESET
14 select HAVE_MAINBOARD_RESOURCES
15 select HAVE_SMI_HANDLER
23 config MAINBOARD_PART_NUMBER
27 config DCACHE_RAM_BASE
31 config DCACHE_RAM_SIZE
39 endif # BOARD_RCA_RM4100