diff --git a/configs/dk-tm4c129x/Kconfig b/configs/dk-tm4c129x/Kconfig
index 1c2cd6be7f4..27e1b933cdb 100644
--- a/configs/dk-tm4c129x/Kconfig
+++ b/configs/dk-tm4c129x/Kconfig
@@ -65,10 +65,6 @@ config DK_TM4C129X_TIMER_DEVNAME
 	string "Timer device name"
 	default "/dev/timer0"
 
-config DK_TM4C129X_TIMER_TIMEOUT
-	int "Timer interval (microseconds)"
-	default 10000
-
 config DK_TM4C129X_TIMER_ALTCLK
 	bool "Use alternate clock source"
 	default n
diff --git a/configs/dk-tm4c129x/README.txt b/configs/dk-tm4c129x/README.txt
index 46e633c31f2..010e9185483 100644
--- a/configs/dk-tm4c129x/README.txt
+++ b/configs/dk-tm4c129x/README.txt
@@ -684,7 +684,6 @@ Timers
     Application Configure -> Examples -> Timer Example
       CONFIG_EXAMPLES_TIMER=y
       CONFIG_EXAMPLE_TIMER_DEVNAME="/dev/timer0"
-      CONFIG_EXAMPLE_TIMER_INTERVAL=1000000
       CONFIG_EXAMPLE_TIMER_DELAY=100000
       CONFIG_EXAMPLE_TIMER_NSAMPLES=20
 
diff --git a/configs/dk-tm4c129x/src/tm4c_timer.c b/configs/dk-tm4c129x/src/tm4c_timer.c
index c9a5d51c86e..0383ebdd758 100644
--- a/configs/dk-tm4c129x/src/tm4c_timer.c
+++ b/configs/dk-tm4c129x/src/tm4c_timer.c
@@ -83,10 +83,6 @@
 #  define CONFIG_DK_TM4C129X_TIMER_DEVNAME "/dev/timer0"
 #endif
 
-#ifndef CONFIG_DK_TM4C129X_TIMER_TIMEOUT
-#  define CONFIG_DK_TM4C129X_TIMER_TIMEOUT 10000
-#endif
-
 #undef CONFIG_DK_TM4C129X_TIMER_ALTCLK
 #define ALTCLK false
 
@@ -107,10 +103,8 @@ int tiva_timer_initialize(void)
   int ret;
 
   timvdbg("Registering TIMER%d at %s\n", GPTM, CONFIG_DK_TM4C129X_TIMER_DEVNAME);
-  timvdbg("Initial timer period: %d uS\n", CONFIG_DK_TM4C129X_TIMER_TIMEOUT);
 
-  ret = tiva_timer_register(CONFIG_DK_TM4C129X_TIMER_DEVNAME, GPTM,
-                            CONFIG_DK_TM4C129X_TIMER_TIMEOUT, ALTCLK);
+  ret = tiva_timer_register(CONFIG_DK_TM4C129X_TIMER_DEVNAME, GPTM, ALTCLK);
   if (ret < 0)
     {
       timdbg("ERROR: Failed to register timer driver: %d\n", ret);