Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 6f0722642b2289c39da615fa8e39388c47319a17)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 150a271898ef7efbc0fcad8d33cfafa0104fdb78)
@@ -160,6 +160,6 @@
 	ASSERT(beagleboard.dispc);
 
-	/* Initialize timer, pick timer1, because it is in always-power domain
-	 * and has special capabilities for regular ticks */
+	/* Initialize timer. Use timer1, because it is in WKUP power domain
+	 * (always on) and has special capabilities for precise 1ms ticks */
 	amdm37x_gpt_timer_ticks_init(&beagleboard.timer,
 	    AMDM37x_GPT1_BASE_ADDRESS, AMDM37x_GPT1_SIZE, HZ);