seL4\_tools-comments
May 29, 2022 ยท View on GitHub
The comments of seL4_tools source code(mainly the elfloader) which we use to port seL4 to LA.
seL4_tools
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.
Contributing
Contributions welcome!
See the CONTRIBUTING file for more.