docs: Correct FW_JUMP_FDT_ADDR calculation example
authorGabriel Somlo <gsomlo@gmail.com>
Thu, 30 Mar 2023 20:25:30 +0000 (16:25 -0400)
committerAnup Patel <anup@brainfault.org>
Fri, 7 Apr 2023 05:46:05 +0000 (11:16 +0530)
commitee016a7bb098578a5d0d4bde01259fe3cd57b02f
tree9b0dcff8dc3146b5194d3bfd6dbc5fe5d0286c48
parentedc9914392791031df624a7c79d1706f83199666
docs: Correct FW_JUMP_FDT_ADDR calculation example

When using `PLATFORM=generic` defaults, the kernel is loaded at
`FW_JUMP_ADDR`, and the FDT is loaded at `FW_JUMP_FDT_ADDR.

Therefore, the maximum kernel size before `FW_JUMP_FDT_ADDR` must
be increased is `$(( FW_JUMP_FDT_ADDR - FW_JUMP_ADDR ))`.

The example calculation assumes `rv64`, and is wrong to boot
(off by 0x200000). Fix it and update it for the general case.

Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
Reviewed-by: Andrew Jones <ajones@ventanamicro.com>
Reviewed-by: Xiang W <wxjstz@126.com>
docs/firmware/fw_jump.md