From e1ff2af690a5350250683977272711de71eebe6b Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Mon, 14 Mar 2016 13:41:53 -0600 Subject: [PATCH] All i.MX6 family members have GIC 390; SoloLite does not seem to have MPCore timers --- arch/arm/src/imx6/Kconfig | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/arch/arm/src/imx6/Kconfig b/arch/arm/src/imx6/Kconfig index 91606c57784..4570edaa49e 100644 --- a/arch/arm/src/imx6/Kconfig +++ b/arch/arm/src/imx6/Kconfig @@ -13,9 +13,13 @@ choice config ARCH_CHIP_IMX6_6SOLOLITE bool "i.MX 6SoloLite" + select ARMV7A_HAVE_GICv2 config ARCH_CHIP_IMX6_6SOLO bool "i.MX 6Solo" + select ARMV7A_HAVE_GICv2 + select ARMV7A_HAVE_GTM + select ARMV7A_HAVE_PTM config ARCH_CHIP_IMX6_6DUALLITE bool "i.MX 6DualLite"