diff --git a/repos/base-sel4/src/core/target.mk b/repos/base-sel4/src/core/target.mk
index 2cafe50819..eea05ddff0 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)