commit: dcce8096a7cea4d3c9016862c10f666c2ebe60bd
[log]
author: Sam Leffler <sleffler@google.com>
Thu Feb 02 23:36:38 2023 +0000
committer: Sam Leffler <sleffler@google.com>
Fri Feb 03 00:06:01 2023 +0000
tree: f48ac088f87ca4c57f74c19763f2a665fb79bdb1
parent: 48e27edb18e12d69430c6196391aac8548fd92b3 [diff]

Revert "elfloader/shoehorn: cleanup sel4test fudge factor hack"

This reverts commit 1a1c2c7e5bcbe9744afc1bbc3e25271af7c763c8.

Change-Id: Icef1dd9698f504680f147764557775123404a44d

3 files changed

tree: f48ac088f87ca4c57f74c19763f2a665fb79bdb1

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.