Gabriel Somlo ee016a7bb0 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>

2023-04-07 11:16:05 +05:30

..

fw_dynamic.md

docs: fix some typos

2022-11-14 22:21:31 +05:30

fw_jump.md

docs: Correct FW_JUMP_FDT_ADDR calculation example

2023-04-07 11:16:05 +05:30

fw_payload.md

docs/firmware: update the document

2022-10-23 10:49:39 +05:30

fw.md

docs: fix typo in fw.md

2023-02-27 10:54:42 +05:30

payload_linux.md

doc: payload_linux: Fix doc styles

2020-02-18 09:05:11 +05:30

payload_uboot.md

docs: Remove out-of-date documentation

2020-03-11 17:09:36 +05:30