| <!-- | |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| SPDX-License-Identifier: BSD-2-Clause | |
| --> | |
| # seL4\_tools | |
| Provides tools used to build seL4 projects. | |
| Also collects common config and tools for style checks. | |
| * [elfloader-tool](elfloader-tool/): loads the arm kernel. | |
| * [cmake-tool](cmake-tool/): most of the build system. | |
| * [misc](misc/): miscellaneous extra tools, including code style checks. | |
| ## Contributing | |
| Contributions welcome! | |
| See the [CONTRIBUTING](.github/CONTRIBUTING.md) file for more. |