From 05e2d61a5e7dc387bb3e09cbd280083194973d15 Mon Sep 17 00:00:00 2001
From: Michael Lotz <mmlr@mlotz.ch>
Date: Wed, 28 Nov 2012 01:41:05 +0100
Subject: [PATCH] Fill the kernel args framebuffer config.

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

diff --git a/src/system/boot/platform/raspberrypi_arm/video.cpp b/src/system/boot/platform/raspberrypi_arm/video.cpp
index 8931b58f80..2bfe171b99 100644
--- a/src/system/boot/platform/raspberrypi_arm/video.cpp
+++ b/src/system/boot/platform/raspberrypi_arm/video.cpp
@@ -6,6 +6,9 @@
 
 #include <SupportDefs.h>
 
+#include <boot/kernel_args.h>
+#include <boot/stage2.h>
+
 #include "arch_framebuffer.h"
 
 #include "blue_screen.h"
@@ -82,6 +85,15 @@ platform_init_video(void)
 	blue_screen_clear_screen();
 	blue_screen_puts("Welcome to very early on-screen debug output on rPi!\n");
 	sOnScreenDebugOutputAvailable = true;
+
+	gKernelArgs.frame_buffer.physical_buffer.start
+		= gFramebuffer->PhysicalBase();
+	gKernelArgs.frame_buffer.physical_buffer.size = gFramebuffer->Size();
+	gKernelArgs.frame_buffer.bytes_per_row = gFramebuffer->BytesPerRow();
+	gKernelArgs.frame_buffer.width = gFramebuffer->Width();
+	gKernelArgs.frame_buffer.height = gFramebuffer->Height();
+	gKernelArgs.frame_buffer.depth = gFramebuffer->Depth();
+	gKernelArgs.frame_buffer.enabled = true;
 	return B_OK;
 }