diff options
| author | Alistair Francis <alistair.francis@wdc.com> | 2019-02-06 00:51:32 +0300 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2019-02-08 06:48:46 +0300 |
| commit | a5f06b30c1503ecd09691f1ad9909287489228f5 (patch) | |
| tree | a65da1f87916fa0b6166794dfb59111b0c993dd2 | |
| parent | 5a91fec1a80939e78e37a0b2bc1d3043dcac23f4 (diff) | |
| download | opensbi-a5f06b30c1503ecd09691f1ad9909287489228f5.tar.xz | |
platform: template: Move kernel start address to 4MB alligned
In order to support 32-bit guests move the start address to a 4MB
allignment. As 64-bit kernels have a requirement on being 2MB alligned
let's just make this the default for both 32 and 64 bit kernels.
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
| -rw-r--r-- | platform/template/config.mk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/platform/template/config.mk b/platform/template/config.mk index 21aa6d6..2f2b895 100644 --- a/platform/template/config.mk +++ b/platform/template/config.mk @@ -41,7 +41,8 @@ FW_TEXT_START=0x80000000 # as needed. # FW_JUMP=<y|n> -FW_JUMP_ADDR=0x80200000 +# This needs to be 4MB alligned for 32-bit support +FW_JUMP_ADDR=0x80400000 # FW_JUMP_FDT_ADDR=0x82200000 # @@ -50,7 +51,8 @@ FW_JUMP_ADDR=0x80200000 # as needed. # FW_PAYLOAD=<y|n> -FW_PAYLOAD_OFFSET=0x200000 +# This needs to be 4MB alligned for 32-bit support +FW_PAYLOAD_OFFSET=0x400000 # 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" |