| menu "Versatile Express platform type" | |
| depends on ARCH_VEXPRESS | |
| config ARCH_VEXPRESS_CA9X4 | |
| bool "Versatile Express Cortex-A9x4 tile" | |
| select CPU_V7 | |
| select ARM_GIC | |
| select ARM_ERRATA_720789 | |
| select ARM_ERRATA_751472 | |
| select PL310_ERRATA_753970 | |
| select HAVE_SMP | |
| select MIGHT_HAVE_CACHE_L2X0 | |
| endmenu |