menu "RealView platform type"
	depends on ARCH_REALVIEW

config MACH_REALVIEW_EB
	bool "Support RealView/EB platform"
	select ARM_GIC
	help
	  Include support for the ARM(R) RealView Emulation Baseboard platform.

config REALVIEW_MPCORE
	bool "Support MPcore tile"
	depends on MACH_REALVIEW_EB
	help
	  Enable support for the MPCore tile on the Realview platform.
	  Since there are device address and interrupt differences, a
	  kernel built with this option enabled is not compatible with
	  other tiles.

endmenu