diff options
| author | Gabriel Somlo <[email protected]> | 2023-03-30 16:25:30 -0400 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2023-04-07 11:16:05 +0530 |
| commit | ee016a7bb098578a5d0d4bde01259fe3cd57b02f (patch) | |
| tree | 9b0dcff8dc3146b5194d3bfd6dbc5fe5d0286c48 /lib | |
| parent | edc9914392791031df624a7c79d1706f83199666 (diff) | |
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 <[email protected]>
Reviewed-by: Andrew Jones <[email protected]>
Reviewed-by: Xiang W <[email protected]>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions