SeL4 Tools
Basic tools for building seL4 projects
Install / Use
/learn @seL4/SeL4 ToolsREADME
<!--
Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
SPDX-License-Identifier: BSD-2-Clause
-->
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.
