From 8469170306022ab51c75cf137c411a09924600c2 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 18 May 2015 13:16:24 +0200
Subject: [PATCH] Relocate sigma0 to a higher address

... to prevent an overlap with the kernel.

Fixes ssumpf/foc#11
---
 l4/pkg/sigma0/server/src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/l4/pkg/sigma0/server/src/Makefile b/l4/pkg/sigma0/server/src/Makefile
index b94aead3..686e6a84 100644
--- a/l4/pkg/sigma0/server/src/Makefile
+++ b/l4/pkg/sigma0/server/src/Makefile
@@ -9,7 +9,7 @@ REQUIRES_LIBS        = libc_minimal cxx_util cxx_io cxx_base \
 DEFINES             += -DL4_MINIMAL_LIBC
 DEFAULT_RELOC_x86   := 0x00100000
 DEFAULT_RELOC_amd64 := 0x00100000
-DEFAULT_RELOC_arm   := 0x00090000
+DEFAULT_RELOC_arm   := 0x000a0000
 DEFAULT_RELOC_sparc := 0x01200000
 DEFAULT_RELOC_ppc32 := 0x00100000
 RELOC_PHYS          := y