seL4_tools

Provides tools used to build seL4 projects. Also collects common config and tools for style checks.

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.

Name		Name	Last commit message	Last commit date
Latest commit History 827 Commits
.github		.github
.reuse		.reuse
LICENSES		LICENSES
cmake-tool		cmake-tool
elfloader-tool		elfloader-tool
misc		misc
.cmake-format.yaml		.cmake-format.yaml
.gitignore		.gitignore
.licenseignore		.licenseignore
.stylefilter		.stylefilter
LICENSE.md		LICENSE.md
README.md		README.md