From ed54bb2724e741fbba797dfa1d4854a1a8910af4 Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Thu, 18 Feb 2016 15:24:06 +0100
Subject: [PATCH] hw_x86_64_muen: Adjust _ram_regions function

The available RAM region starts at 25 MiB, not 2 MiB. Also, increase the
region size to 256 MiB.
---
 repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc b/repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc
index 33893c029..f50a6d72b 100644
--- a/repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc
+++ b/repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc
@@ -36,7 +36,7 @@ Native_region * Platform::_ram_regions(unsigned const i)
 {
 	static Native_region _regions[] =
 	{
-		{ 2*1024*1024, 1024*1024*254 }
+		{ 25*1024*1024, 256*1024*1024 }
 	};
 	return i < sizeof(_regions)/sizeof(_regions[0]) ? &_regions[i] : 0;
 }