commit: 1a1c2c7e5bcbe9744afc1bbc3e25271af7c763c8
[log]
author: Sam Leffler <sleffler@google.com>
Tue Jan 24 22:25:24 2023 +0000
committer: Sam Leffler <sleffler@google.com>
Thu Jan 26 18:36:35 2023 +0000
tree: 7a7f2040c8350e20f011b29645f68751853475a5
parent: f27d15d76d7fd9268b75f7879d0508898f547980 [diff]

elfloader/shoehorn: cleanup sel4test fudge factor hack

elfloader uses shoehorn to find a memory location to load build
artifacts. There was a hack to artificially increase the required space
by 4MiB for sel4test. This breaks systems with limited memory so move
this hack to a shoehorn command line option and add cmake glue to enable
it to be set in the sel4test build glue.

Bug: 197745020

Change-Id: I146976ae23cd4fcdd7a422d9c1643428e3596efb

3 files changed

tree: 7a7f2040c8350e20f011b29645f68751853475a5

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.