Index: kernel/arch/arm32/src/mach/beaglebone/beaglebone.c
===================================================================
--- kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision ddb3051df6029091f609a227133077d74176f314)
+++ kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision fe6593b7a0db4b2a96d94af77e60e6b11687ef51)
@@ -98,4 +98,9 @@
 	    AM335x_CTRL_MODULE_SIZE, PAGE_NOT_CACHEABLE);
 
+	ASSERT(bbone.irc_addr != NULL);
+	ASSERT(bbone.cm_per_addr != NULL);
+	ASSERT(bbone.cm_dpll_addr != NULL);
+	ASSERT(bbone.ctrl_module != NULL);
+
 	/* Initialize the interrupt controller */
 	am335x_irc_init(bbone.irc_addr);
@@ -118,4 +123,5 @@
 {
 	unsigned sysclk_freq;
+	int rc;
 
 	/* Initialize the IRQ */
@@ -141,5 +147,9 @@
 		printf("system clock running at %u hz\n", sysclk_freq);
 
-	am335x_timer_init(&bbone.timer, DMTIMER2, HZ, sysclk_freq);
+	rc = am335x_timer_init(&bbone.timer, DMTIMER2, HZ, sysclk_freq);
+	if (rc != EOK) {
+		printf("Timer initialization failed\n");
+		return;
+	}
 	/* Enable the interrupt */
 	am335x_irc_enable(bbone.irc_addr, AM335x_DMTIMER2_IRQ);