1<!--
2     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3
4     SPDX-License-Identifier: BSD-2-Clause
5-->
6
7# seL4\_tools
8
9Provides tools used to build seL4 projects.
10Also collects common config and tools for style checks.
11
12* [elfloader-tool](elfloader-tool/): loads the arm kernel.
13* [cmake-tool](cmake-tool/): most of the build system.
14* [misc](misc/): miscellaneous extra tools, including code style checks.
15
16
17## Contributing
18
19Contributions welcome!
20
21See the [CONTRIBUTING](.github/CONTRIBUTING.md) file for more.
22