seL4_tools Provides tools used to build seL4 projects elfloader-tool: loads the arm kernel. common-tool: most of the build system. misc: miscellaneous extra tools.