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