commit: d964276c5b1cd3681fc40c59e4af3251972dfce6
[log] [tgz]
author: Sam Leffler <sleffler@google.com>
Sat Oct 21 17:58:39 2023 -0700
committer: Sam Leffler <sleffler@google.com>
Sun Oct 22 13:26:59 2023 -0700
tree: 6fec78f0d79cd0d2447d7aa3e65e9b5d66bee26f
parent: 5c1f370ce82ce276e12b70e246ddbcef3d7f2059 [diff]

elfconvert: pull xmas-elf from cates.io (and update version to 0.9)

Bug: 306427497

Change-Id: Ia6e113eb7fdb265273a27bc7d24439de82bbf73f

misc/elfconvert/Cargo.toml[diff]

1 file changed

tree: 6fec78f0d79cd0d2447d7aa3e65e9b5d66bee26f

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.