# as needed.
#
FW_JUMP=<y|n>
-# 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
#
# as needed.
#
FW_PAYLOAD=<y|n>
-# 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"