diff options
author | Jessica Clarke <jrtc27@jrtc27.com> | 2020-04-29 03:24:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-28 19:24:21 -0700 |
commit | d5f5d91b8488b220a51aed3b63aa9de26c1ac73c (patch) | |
tree | 7d02e999618cd88c3198e5852aaca1a3acccbd7c /util | |
parent | 8c125897999720856262f941396a9004b0ff5d3d (diff) | |
download | pk-d5f5d91b8488b220a51aed3b63aa9de26c1ac73c.zip pk-d5f5d91b8488b220a51aed3b63aa9de26c1ac73c.tar.gz pk-d5f5d91b8488b220a51aed3b63aa9de26c1ac73c.tar.bz2 |
Support --without-payload for OpenSBI fw_jump-style booting (#186)
We expect the firmware to load the external payload at the second
megapage, and that there is space to put the filtered FDT at 0x2200000
past the start of memory. With a default MEM_START of 0x80000000, this
matches the standard OpenSBI values for FW_JUMP_ADDR and
FW_JUMP_FDT_ADDR of 0x80400000/0x80200000 (RV32/RV64) and 0x82200000
respectively, so payloads linked for one should work with the other.
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions