Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 38969746d9dc0f1ac359900c2a1fea0087be378b)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision d27a9c8f596ca95ee3af967261abc7c7ede2fa69)
@@ -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);