| if BOARD_DELL_S1850 |
| |
| config BOARD_SPECIFIC_OPTIONS # dummy |
| def_bool y |
| select ARCH_X86 |
| select CPU_INTEL_SOCKET_MPGA604 |
| select NORTHBRIDGE_INTEL_E7520 |
| select SOUTHBRIDGE_INTEL_I82801EX |
| select SOUTHBRIDGE_INTEL_PXHD |
| select SUPERIO_NSC_PC8374 |
| select ROMCC |
| select HAVE_OPTION_TABLE |
| select BOARD_HAS_HARD_RESET |
| select HAVE_PIRQ_TABLE |
| select HAVE_MP_TABLE |
| select USE_WATCHDOG_ON_BOOT |
| select BOARD_ROMSIZE_KB_1024 |
| select UDELAY_TSC |
| |
| config MAINBOARD_DIR |
| string |
| default dell/s1850 |
| |
| config MAINBOARD_PART_NUMBER |
| string |
| default "PowerEdge 1850" |
| |
| config MAX_CPUS |
| int |
| default 4 |
| |
| config MAX_PHYSICAL_CPUS |
| int |
| default 1 |
| |
| config IRQ_SLOT_COUNT |
| int |
| default 9 |
| |
| config DIMM_MAP_LOGICAL |
| hex |
| default 0x2841 |
| |
| endif # BOARD_DELL_S1850 |