Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 9e9666658e78b6d1e9ac01bbf111be6031166511)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 3a73bc6af84fbf18c23aad1e0b0a8fcfa383ccb5)
@@ -96,8 +96,10 @@
 		++order;
 	}
-	printf("Allocating %d (2^%d) frames.\n", size, order);
 	/* prefer highmem as we don't care about virtual mapping. */
 	void *buffer = frame_alloc(order, FRAME_LOWMEM);
-	ASSERT(buffer);
+	if (!buffer) {
+		printf("Failed to allocate framebuffer.\n");
+		return;
+	}
 
 	amdm37x_dispc_setup_fb(beagleboard.dispc, width, height, bpp,