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.