README.md

seL4_tools misc tools

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

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

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.