The comments of seL4_tools source code(mainly the elfloader) which we use to port seL4 to LA.
Provides tools used to build seL4 projects. Also collects common config and tools for style checks.
- elfloader-tool: loads the arm kernel.
- cmake-tool: most of the build system.
- misc: miscellaneous extra tools, including code style checks.
Contributions welcome!
See the CONTRIBUTING file for more.