XU
xurtis/seL4_tools
Basic tools for building seL4 projects
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.