commit: 62800c11dd9932f343e1697e79b3b803296d74bb
[log]
author: Sam Leffler <sleffler@google.com>
Tue Feb 07 23:57:45 2023 +0000
committer: Sam Leffler <sleffler@google.com>
Tue Feb 07 23:57:45 2023 +0000
tree: 7d08afc774bc0c6aae921be98a917bf3a54dc68a
parent: dcce8096a7cea4d3c9016862c10f666c2ebe60bd [diff]

elfloader/shoehorn: remove fudge factor now that it's not needed

Change-Id: I29c9ba2b0809d6ed658e7d9a46b0f3afb63b486e

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

1 file changed

tree: 7d08afc774bc0c6aae921be98a917bf3a54dc68a

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.