From b1c09dc0c5b82ae7eb79ecc7aa7b9eb746920db4 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Wed, 16 Mar 2016 10:54:55 -0600
Subject: [PATCH] i.MX6: Hmm.. I think the i.MX6 Solo Lite has global and
 private timers.  Note cleare from the reference manual

---
 arch/arm/src/imx6/Kconfig | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arch/arm/src/imx6/Kconfig b/arch/arm/src/imx6/Kconfig
index 4570edaa49e..407964db6f5 100644
--- a/arch/arm/src/imx6/Kconfig
+++ b/arch/arm/src/imx6/Kconfig
@@ -14,6 +14,8 @@ choice
 config ARCH_CHIP_IMX6_6SOLOLITE
 	bool "i.MX 6SoloLite"
 	select ARMV7A_HAVE_GICv2
+	select ARMV7A_HAVE_GTM
+	select ARMV7A_HAVE_PTM
 
 config ARCH_CHIP_IMX6_6SOLO
 	bool "i.MX 6Solo"