| if BOARD_RCA_RM4100 |
| |
| config BOARD_SPECIFIC_OPTIONS # dummy |
| def_bool y |
| select ARCH_X86 |
| select CPU_INTEL_SOCKET_MFCBGA479 |
| select NORTHBRIDGE_INTEL_I82830 |
| select SOUTHBRIDGE_INTEL_I82801DX |
| select SUPERIO_SMSC_SMSCSUPERIO |
| select HAVE_PIRQ_TABLE |
| select UDELAY_TSC |
| select BOARD_ROMSIZE_KB_1024 |
| select HAVE_MAINBOARD_RESOURCES |
| select HAVE_SMI_HANDLER |
| select GFXUMA |
| |
| config MAINBOARD_DIR |
| string |
| default rca/rm4100 |
| |
| config MAINBOARD_PART_NUMBER |
| string |
| default "RM4100" |
| |
| config DCACHE_RAM_BASE |
| hex |
| default 0xffdf8000 |
| |
| config DCACHE_RAM_SIZE |
| hex |
| default 0x8000 |
| |
| config IRQ_SLOT_COUNT |
| int |
| default 7 |
| |
| endif # BOARD_RCA_RM4100 |