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 f22f679fa78e8a86ddf97362ae98660cdb16ee13)
@@ -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,