From 1d5c11c7af47a0eaba46a434550e63300c09e397 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 15 Sep 2013 21:26:17 +0200
Subject: [PATCH] rpi: Allow the access to videocore memory as MMIO

---
 base-hw/src/core/rpi/platform_support.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base-hw/src/core/rpi/platform_support.cc b/base-hw/src/core/rpi/platform_support.cc
index 236e163bf..98edc91f8 100644
--- a/base-hw/src/core/rpi/platform_support.cc
+++ b/base-hw/src/core/rpi/platform_support.cc
@@ -64,6 +64,7 @@ Native_region * Platform::_mmio_regions(unsigned const i)
 	static Native_region _regions[] =
 	{
 		{ 0x20000000, 0x22000000 },
+		{ 0x50000000, 0x10000000 },
 	};
 	return i < sizeof(_regions)/sizeof(_regions[0]) ? &_regions[i] : 0;
 }