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.
- dts: device tree specifications for different kernel platforms.
License
Please see files in individual directories for license details.