Index: kernel/arch/arm32/src/mach/beaglebone/beaglebone.c
===================================================================
--- kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 06c4609e117631c8fe0ad6ea39549b972a853e10)
+++ kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision c0948aaab67a4b34884ff72cfed5c68b05c9ba0d)
@@ -138,5 +138,6 @@
 		printf("Cannot get the system clock frequency!\n");
 		return;
-	}
+	} else
+		printf("system clock running at %u hz\n", sysclk_freq);
 
 	am335x_timer_init(&bbone.timer, DMTIMER2, HZ, sysclk_freq);