Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 8316547f916ae25dffe4d30a1c706bfb38c39897)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 52e020b49b7182897ac36e66e3b74a28dc28e6f2)
@@ -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);