Mirrors/opensbi
1
0
Fork 1
mirror of https://github.com/riscv-software-src/opensbi.git synced 2025-08-24 15:31:22 +01:00
Code Issues Packages Projects Releases Wiki Activity

platform: template: Improve comments for FW_JUMP_ADDR and FW_PAYLOAD_OFFSET

Browse Source 
Both FW_JUMP_ADDR and FW_PAYLOAD_OFFSET, should be:
1. 4MB aligned for 32bit system
2. 2MB aligned for 64bit system

Explicitly specify the above details in config.mk comments
for template platform.

Signed-off-by: Anup Patel <anup.patel@wdc.com>
This commit is contained in:
Anup Patel
2019-02-08 09:46:12 +05:30
committed by Anup Patel
parent 01fe779113
commit ab12d6ef8f
1 changed files with 13 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
platform/template/config.mk
View File

@@ -41,8 +41,13 @@ FW_TEXT_START=0x80000000
# 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
#
@@ -51,8 +56,13 @@ FW_JUMP_ADDR=0x80400000
# 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"