From 4dd3ffdf4138d6183151ca5720bad5fabc4ce755 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Tue, 13 Jan 2015 15:59:14 -0600
Subject: [PATCH] Update ChangeLog

---
 ChangeLog | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 6c696152738..fe9570dba04 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -9384,6 +9384,9 @@
 	  cycles.  This change is conditioned on CONFIG_MMCSD_SDIOWATI_WRCOMPLETE
 	  and is currently only implemented for the STM32 SDIO driver. From
 	  David Sidrane (2015-01-08).
-	* arch/arm/src/tiva/tiva_timer.c and .h:  Add a timer library for
+	* arch/arm/src/tiva/tiva_timerlib.c and .h:  Add a timer library for
 	  generic support of Tiva timers (2015-01-08).
+	* arch/arm/src/tiva/tiva_timerlow32.c:  Add a driver lower half for
+          drivers/timer.c.  Only 32-bit periodic timers are supported.  This
+          provides userspace access to timers.