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.