From ebd069785333f92cb7994b72bee88fd828ab71a1 Mon Sep 17 00:00:00 2001
From: Michael Lotz <mmlr@mlotz.ch>
Date: Tue, 27 Nov 2012 22:39:16 +0100
Subject: [PATCH] Enable the early framebuffer and on-screen debug output.

---
 src/system/boot/platform/raspberrypi_arm/start.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/system/boot/platform/raspberrypi_arm/start.cpp b/src/system/boot/platform/raspberrypi_arm/start.cpp
index b35da218ff..4245e8be10 100644
--- a/src/system/boot/platform/raspberrypi_arm/start.cpp
+++ b/src/system/boot/platform/raspberrypi_arm/start.cpp
@@ -116,6 +116,9 @@ _start(void)
 	// Flick on "OK" led, use pre-mmu firmware base
 	gpio_write(gPeripheralBase + GPIO_BASE, 16, 0);
 
+	// Set up the framebuffer here to help debug the early boot.
+	platform_init_video();
+
 	// To debug mmu, enable serial_init above me!
 	mmu_init();