<!--
     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)

     SPDX-License-Identifier: BSD-2-Clause
-->

# seL4_tools misc tools

These are a collection of tools or configuration files that relate to seL4 in some way.

## Style tools

Many of the files are for use in styling sources for various languages.

Files for styling a particular language:
- `style-c.sh`, `astylerc`: Style a single c file using `astyle` and the astylerc config
- `style-cmake.sh`: Style a CMake file using `cmake-format`. Will also look for `.cmake-format.yaml`
  files in repo directories.
- `style-py.sh`: Style python files using `autopep8`
- `.gitlint`: Configuration file for `gitlint` tool for checking Git commit messages.
- `is-valid-shell-script`: Script for checking valid shell script syntax.

Scripts for batching multiple style operations across different files:
- `style.sh`: Finds any `.stylefilter` files in local directories and calls `style.py`
- `style.py`, `filter.py`: Filters an input list of files based on `.stylefilter` and then calls the relevant
  style script based on the remaining file's extensions.
- `style-changed.sh`: Styles all changed files in current Git repository
- `style-all.sh`: Styles all files in current Git repository

## Other

- `whence.py`: A tool for determining source code provenance for imported repositories without history.
- `cpio-strip.c`/`Makefile.cpio_strip`: A program for stripping metadata from CPIO archives to enable
  reproducible builds. (Recent versions of cpio support this with the `--reproducible` flag)
- `cobbler`: Build a qemu-bootable harddisk image.