commit: 48e27edb18e12d69430c6196391aac8548fd92b3
[log]
author: Sam Leffler <sleffler@google.com>
Thu Feb 02 23:13:30 2023 +0000
committer: Sam Leffler <sleffler@google.com>
Thu Feb 02 23:13:30 2023 +0000
tree: 25f7a653489b62c6aaa84b785232ae20e250cc3e
parent: 1a1c2c7e5bcbe9744afc1bbc3e25271af7c763c8 [diff]

elfloader/shoehorn: handle gaps between loadable elf segments

Correct the calculated memory needed to load an elf image. Using only
the p_memsz value ignores gaps between segments; instead calculate the
first+last addresses using p_vaddr & p_memsz.

Change-Id: Iba77d1bf8f051eca32d5aedd601d25d2ec84a0d6

cmake-tool/helpers/elf_sift.py[diff]

1 file changed

tree: 25f7a653489b62c6aaa84b785232ae20e250cc3e

README.md

seL4_tools

Provides tools used to build seL4 projects. Also collects common config and tools for style checks.

elfloader-tool: loads the arm kernel.
cmake-tool: most of the build system.
misc: miscellaneous extra tools, including code style checks.

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.