Index: kernel/genarch/src/drivers/am335x/timer.c
===================================================================
--- kernel/genarch/src/drivers/am335x/timer.c	(revision ddb3051df6029091f609a227133077d74176f314)
+++ kernel/genarch/src/drivers/am335x/timer.c	(revision 241f12bf1ae8fedb53333d38494f6bcb5b90492d)
@@ -116,6 +116,7 @@
 	/* Disable compare mode */
 	tclr &= ~AM335x_TIMER_TCLR_CE_FLAG;
-	/* Disable the prescaler */
-	tclr &= ~AM335x_TIMER_TCLR_PRE_FLAG;
+	/* Enable the prescaler, divisor = 2 */
+	tclr |= AM335x_TIMER_TCLR_PRE_FLAG;
+	tclr &= ~(AM335x_TIMER_TCLR_PTV_MASK << AM335x_TIMER_TCLR_PTV_SHIFT);
 	/* Enable auto-reload mode */
 	tclr |= AM335x_TIMER_TCLR_AR_FLAG;