Name		Name	Last commit message	Last commit date
Latest commit History 108 Commits
common-tool		common-tool
elfloader-tool		elfloader-tool
kbuild-tool		kbuild-tool
.gitignore		.gitignore
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.

License

Please see files in individual directories for license details.

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages

C 80.2%
C++ 6.9%
Makefile 3.5%
Shell 2.4%
Assembly 2.1%
Yacc 2.0%
Other 2.9%