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