From 1f24e7e155761cb76db62f02179816ed2f61cf1e Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Tue, 13 Jan 2015 11:49:00 -0600
Subject: [PATCH] Timer Timer:  Timer driver now initializes without
 complaints.  Need a test driver of some kind to make more testing progress.

---
 configs/dk-tm4c129x/nsh/defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/dk-tm4c129x/nsh/defconfig b/configs/dk-tm4c129x/nsh/defconfig
index 0eaa909abd..f48daae0b3 100644
--- a/configs/dk-tm4c129x/nsh/defconfig
+++ b/configs/dk-tm4c129x/nsh/defconfig
@@ -257,7 +257,7 @@ CONFIG_ARCH_HAVE_RAMVECTORS=y
 #
 # Board Settings
 #
-CONFIG_BOARD_LOOPSPERMSEC=4531
+CONFIG_BOARD_LOOPSPERMSEC=11401
 # CONFIG_ARCH_CALIBRATION is not set
 
 #