commit: 88de4d5adb7a79e481ceaab39cfdee75540376f5
[log]
author: Cindy Liu <hcindyl@google.com>
Wed Feb 08 15:19:28 2023 -0800
committer: Cindy Liu <hcindyl@google.com>
Wed Feb 08 15:22:12 2023 -0800
tree: 1d552b91b3fdd12a56eeacf678ae44d67bce010a
parent: dcce8096a7cea4d3c9016862c10f666c2ebe60bd [diff]

elfconvert: Pin the underlying thread_local crate version

This is a temporary fix until we clean up the nightly toolchain
dependency.

Change-Id: Iff643a26b16a8e764eb6b267ad2a854fda6e5662

misc/elfconvert/Cargo.toml[diff]

1 file changed

tree: 1d552b91b3fdd12a56eeacf678ae44d67bce010a

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.