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.
Contributions welcome!
See the CONTRIBUTING file for more.