From 0b3fe880aa0e697fe3cdd2288b64f591fc177602 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 8 Jan 2015 10:15:37 -0600
Subject: [PATCH] Update ChangeLog

---
 ChangeLog | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index a3f14f0e36..6c69615273 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -9384,3 +9384,6 @@
 	  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
+	  generic support of Tiva timers (2015-01-08).
+