Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision d1714e897b2c6dace683a575d23d7b6dac310b42)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision b1c43bd94fa65c0a81ae171a8d0bbcb9935543ea)
@@ -88,4 +88,5 @@
          * Release the lock, call clock() and reacquire the lock again.
          */
+	amdm37x_gpt_irq_ack(&beagleboard.timer);
 	spinlock_unlock(&irq->lock);
 	clock();
@@ -100,4 +101,5 @@
 	    PAGE_NOT_CACHEABLE);
 	amdm37x_irc_init(beagleboard.irc_addr);
+
 
 	/* Initialize timer, pick timer1, because it is in always-power domain
@@ -117,4 +119,7 @@
 	timer_irq.handler = bb_timer_irq_handler;
 	irq_register(&timer_irq);
+
+	/* Enable timer interrupt */
+	amdm37x_irc_enable(beagleboard.irc_addr, AMDM37x_GPT1_IRQ);
 
 	/* Start timer here */