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