diff --git a/base-hw/mk/spec-hw_pbxa9.mk b/base-hw/mk/spec-hw_pbxa9.mk index de2cbbad5d..c152f1f51d 100644 --- a/base-hw/mk/spec-hw_pbxa9.mk +++ b/base-hw/mk/spec-hw_pbxa9.mk @@ -8,7 +8,7 @@ SPECS += hw platform_pbxa9 # set address where to link text segment at -LD_TEXT_ADDR ?= 0x01000000 +LD_TEXT_ADDR ?= 0x70000000 # include implied specs include $(call select_from_repositories,mk/spec-hw.mk) diff --git a/base/include/platform/pbxa9/drivers/board_base.h b/base/include/platform/pbxa9/drivers/board_base.h index d94cd7201d..fadc0c141e 100644 --- a/base/include/platform/pbxa9/drivers/board_base.h +++ b/base/include/platform/pbxa9/drivers/board_base.h @@ -24,8 +24,8 @@ namespace Genode enum { /* normal RAM */ - RAM_0_BASE = 0x00000000, - RAM_0_SIZE = 0x10000000, + RAM_0_BASE = 0x70000000, + RAM_0_SIZE = 0x20000000, RAM_1_BASE = 0x20000000, RAM_1_SIZE = 0x10000000,