3 config UX500_SOC_COMMON
10 config UX500_SOC_DB8500
13 config UX500_SOC_DB5500
17 prompt "Ux500 target platform"
18 default MACH_U8500_MOP
21 bool "U8500 Development platform"
22 select UX500_SOC_DB8500
24 Include support for mop500 development platform
25 based on U8500 architecture. The platform is based
26 on early drop silicon version of 8500.
29 bool "U5500 Development platform"
30 select UX500_SOC_DB5500
32 Include support for the U5500 development platform.
35 config UX500_DEBUG_UART
36 int "Ux500 UART to use for low-level debug"
39 Choose the UART on which kernel low-level debug messages should be