| select ARM_ERRATA_764369 if SMP |
| select CLKSRC_NOMADIK_MTU |
| select PL310_ERRATA_753970 if CACHE_PL310 |
| select CPU_FREQ_TABLE if CPU_FREQ |
| select REGULATOR_DB8500_PRCMU |
| menu "Ux500 target platform (boards)" |
| bool "U8500 Development platform, MOP500 versions" |
| select REGULATOR_FIXED_VOLTAGE |
| Include support for the MOP500 development platform. |
| bool "U8500 Development platform, HREFv60 version" |
| Include support for the HREFv60 new development platform. |
| Includes HREFv70, v71 etc. |
| bool "U8500 Snowball platform" |
| Include support for the snowball development platform. |
| config UX500_AUTO_PLATFORM |
| At least one platform needs to be selected in order to build |
| a working kernel. If everything else is disabled, this |
| automatically enables MACH_MOP500. |
| bool "Generic U8500 support using device tree" |
| int "Ux500 UART to use for low-level debug" |
| Choose the UART on which kernel low-level debug messages should be |