From 775b5a174b03c09d692155f85ecaf131c25fd8f1 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 14 Aug 2012 10:25:46 +0200
Subject: [PATCH] Reserve up to 8x4 bytes for the parent capability

---
 base/src/platform/genode.ld   | 6 ++++++
 os/src/platform/genode_dyn.ld | 4 ++++
 os/src/platform/genode_rel.ld | 6 ++++++
 3 files changed, 16 insertions(+)

diff --git a/base/src/platform/genode.ld b/base/src/platform/genode.ld
index a640a5e0e..14a7e51c6 100644
--- a/base/src/platform/genode.ld
+++ b/base/src/platform/genode.ld
@@ -63,6 +63,12 @@ SECTIONS
 		LONG(0xffffffff);
 		_parent_cap_local_name = .;
 		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
 
 		/*
 		 * Platform-specific entry for Fiasco.OC.
diff --git a/os/src/platform/genode_dyn.ld b/os/src/platform/genode_dyn.ld
index 613a6b17c..f23a7e0b9 100644
--- a/os/src/platform/genode_dyn.ld
+++ b/os/src/platform/genode_dyn.ld
@@ -103,6 +103,10 @@ SECTIONS
      LONG(0xffffffff);
      LONG(0xffffffff);
      LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
   } : rw
 
   /* Exception handling  */
diff --git a/os/src/platform/genode_rel.ld b/os/src/platform/genode_rel.ld
index 9e8845ae4..ff9ac0c8d 100644
--- a/os/src/platform/genode_rel.ld
+++ b/os/src/platform/genode_rel.ld
@@ -105,6 +105,12 @@ SECTIONS
      LONG(0xffffffff);
      _parent_cap_local_name = .;
      LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
 
     /*
      * Platform-specific entry for Fiasco.OC.