Index: kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c
===================================================================
--- kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c	(revision 44b2b78be3d89c7a81b12bc1276fd80e28175892)
+++ kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c	(revision 44186b01d3b878161e7f5317266c5bc425c4b2a6)
@@ -173,4 +173,13 @@
 static void raspberrypi_output_init(void)
 {
+#ifdef CONFIG_FB
+	fb_properties_t prop;
+	if (bcm2835_fb_init(&prop)) {
+		outdev_t *fb_dev = fb_init(&prop);
+		if (fb_dev)
+			stdout_wire(fb_dev);
+	}
+#endif
+
 #ifdef CONFIG_PL011_UART
 	if (pl011_uart_init(&raspi.uart, BCM2835_UART_IRQ,