1if ARCH_U8500 2 3config UX500_SOC_COMMON 4 bool 5 default y 6 select ARM_GIC 7 select HAS_MTU 8 select NOMADIK_GPIO 9 10config UX500_SOC_DB8500 11 bool 12 13config UX500_SOC_DB5500 14 bool 15 16choice 17 prompt "Ux500 target platform" 18 default MACH_U8500_MOP 19 20config MACH_U8500_MOP 21 bool "U8500 Development platform" 22 select UX500_SOC_DB8500 23 help 24 Include support for mop500 development platform 25 based on U8500 architecture. The platform is based 26 on early drop silicon version of 8500. 27 28config MACH_U5500 29 bool "U5500 Development platform" 30 select UX500_SOC_DB5500 31 help 32 Include support for the U5500 development platform. 33endchoice 34 35config UX500_DEBUG_UART 36 int "Ux500 UART to use for low-level debug" 37 default 2 38 help 39 Choose the UART on which kernel low-level debug messages should be 40 output. 41 42endif 43