Index: kernel/arch/arm32/src/mach/beaglebone/beaglebone.c
===================================================================
--- kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision f09f059c73939b7b0e498d8b9ec73abb78a3ae7b)
+++ kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision ddb3051df6029091f609a227133077d74176f314)
@@ -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);