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.
Please see files in individual directories for license details.
autti/seL4_tools
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- C 79.0%
- C++ 6.9%
- Makefile 3.5%
- Assembly 3.2%
- Shell 2.4%
- Yacc 1.9%
- Other 3.1%