if ARCH_U8500

config UX500_SOC_COMMON
	bool
	default y
	select ARM_GIC
	select HAS_MTU
	select NOMADIK_GPIO

config UX500_SOC_DB8500
	bool

config UX500_SOC_DB5500
	bool

menu "ST-Ericsson platform type"

comment "ST-Ericsson Multicore Mobile Platforms"

config MACH_U8500_MOP
	bool "U8500 Early Development platform"
	default y
	select UX500_SOC_DB8500
	help
	  Include support for mop500 development platform
	  based on U8500 architecture. The platform is based
	  on early drop silicon version of 8500.
endmenu

config UX500_DEBUG_UART
	int "Ux500 UART to use for low-level debug"
	default 2
	help
	  Choose the UART on which kernel low-level debug messages should be
	  output.

endif