From 691f0eaae7c2428076816b841706982d7a680998 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 13 May 2015 11:17:03 +0200
Subject: [PATCH] sel4: link core to different address

This enables us to debug core and non-core using Qemu's GDB stub.
---
 repos/base-sel4/src/core/target.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/base-sel4/src/core/target.mk b/repos/base-sel4/src/core/target.mk
index 2cafe5081..eea05ddff 100644
--- a/repos/base-sel4/src/core/target.mk
+++ b/repos/base-sel4/src/core/target.mk
@@ -2,6 +2,8 @@ TARGET = core
 LIBS  += core
 SRC_S  = boot_modules.s
 
+LD_TEXT_ADDR ?= 0x02000000
+
 # XXX hack, based on base-hw/lib/mk/core.mk
 ifneq ($(wildcard $(BUILD_BASE_DIR)/boot_modules.s),)
   BOOT_MODULES_VPATH = $(BUILD_BASE_DIR)