diff --git a/platform/template/config.mk b/platform/template/config.mk index 2f2b8955..3c85af7a 100644 --- a/platform/template/config.mk +++ b/platform/template/config.mk @@ -41,8 +41,13 @@ FW_TEXT_START=0x80000000 # as needed. # FW_JUMP= -# This needs to be 4MB alligned for 32-bit support -FW_JUMP_ADDR=0x80400000 +# This needs to be 4MB aligned for 32-bit support +# This needs to be 2MB aligned for 64-bit support +# ifeq ($(OPENSBI_CC_XLEN), 32) +# FW_JUMP_ADDR=0x80400000 +# else +# FW_JUMP_ADDR=0x80200000 +# endif # FW_JUMP_FDT_ADDR=0x82200000 # @@ -51,8 +56,13 @@ FW_JUMP_ADDR=0x80400000 # as needed. # FW_PAYLOAD= -# This needs to be 4MB alligned for 32-bit support +# This needs to be 4MB aligned for 32-bit support +# This needs to be 2MB aligned for 64-bit support +ifeq ($(OPENSBI_CC_XLEN), 32) FW_PAYLOAD_OFFSET=0x400000 +else +FW_PAYLOAD_OFFSET=0x200000 +endif # FW_PAYLOAD_ALIGN=0x1000 # FW_PAYLOAD_PATH="path to next boot stage binary image file" # FW_PAYLOAD_FDT_PATH="path to platform flattened device tree file"