commit: 242a8328023365382b9b716dfd4b29edc78c94ed
[log]
author: Sam Leffler <sleffler@google.com>
Sat Mar 11 20:40:05 2023 -0800
committer: Sam Leffler <sleffler@google.com>
Mon Mar 13 09:23:25 2023 -0700
tree: 7b5195d6f651f58dfa78abb27af2ffdd0938c3a0
parent: 4cb1b32699034b1939f441d8ce5594aa37dc361f [diff]

elfconvert: calculate crc32 for application & model sections

Bug: 232811729

Change-Id: Ib8b69c972c90390dd2d3a631a991907c9626908d

2 files changed

tree: 7b5195d6f651f58dfa78abb27af2ffdd0938c3a0

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.