1menu "Versatile Express platform type"
2	depends on ARCH_VEXPRESS
3
4config ARCH_VEXPRESS_CA9X4
5	bool "Versatile Express Cortex-A9x4 tile"
6	select CPU_V7
7	select ARM_GIC
8	select ARM_ERRATA_720789
9	select ARM_ERRATA_751472
10	select PL310_ERRATA_753970
11	select HAVE_SMP
12	select MIGHT_HAVE_CACHE_L2X0
13
14endmenu
15