malus-brandywine / 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.