From f2cfda6be630045c8dc3189e8666f1c44385504f Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 1 Oct 2012 11:30:53 +0200
Subject: [PATCH] Avoid use of address 0x0 in protection domains.

---
 base-hw/src/core/platform.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-hw/src/core/platform.cc b/base-hw/src/core/platform.cc
index 0e8c7df93d..8fb6f53598 100644
--- a/base-hw/src/core/platform.cc
+++ b/base-hw/src/core/platform.cc
@@ -112,7 +112,7 @@ Native_region * Platform::_core_only_ram_regions(unsigned const i)
 Platform::Platform() :
 	_core_mem_alloc(0),
 	_io_mem_alloc(core_mem_alloc()), _io_port_alloc(core_mem_alloc()),
-	_irq_alloc(core_mem_alloc()), _vm_base(0), _vm_size(0xffff0000)
+	_irq_alloc(core_mem_alloc()), _vm_base(0x1000), _vm_size(0xfffef000)
 {
 	/*
 	 * Initialise platform resource allocators.