<!--
     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.