Name		Name	Last commit message	Last commit date
Latest commit History 291 Commits
cmake-tool		cmake-tool
common-tool		common-tool
elfloader-tool		elfloader-tool
kbuild-tool		kbuild-tool
misc		misc
.licenseignore		.licenseignore
LICENSE.txt		LICENSE.txt
README.md		README.md

Repository files navigation

seL4_tools

Provides tools used to build seL4 projects

kbuild-tool: kbuild from Linux, for managing configurations.
elfloader-tool: loads the arm kernel.
common-tool: most of the build system.
misc: miscellaneous extra tools.

License

Please see files in individual directories for license details.

About

obsolete, use https://github.com/GaloisInc/seL4_tools "rust" branch instead

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 25

+ 11 contributors

Languages