seL4_tools contains the Elfloader and CMake build system as well as a series of miscellaneous scripts.
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:
astylerc: Style a single c file using
astyleand the astylerc config
style-cmake.sh: Style a CMake file using
cmake-format. Will also look for
.cmake-format.yamlfiles in repo directories.
style-py.sh: Style python files using
.gitlint: Configuration file for
gitlinttool 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
.stylefilterfiles in local directories and calls
filter.py: Filters an input list of files based on
.stylefilterand 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.
Makefile.cpio_strip: A program for stripping metadata from CPIO archives to enable reproducible builds. (Recent versions of cpio support this with the
cobbler: Build a qemu-bootable harddisk image.
File included from github repo edit