NameDateSize

..25-Jul-201919

.cmake-format.yamlH A D09-Mar-2020240

.github/H22-Jun-20205

.gitignoreH A D09-Mar-2020137

.licenseignoreH A D09-Mar-202073

.reuse/H09-Mar-20203

.stylefilterH A D09-Mar-2020270

cmake-tool/H13-May-202015

elfloader-tool/H13-Jul-20209

LICENSE.mdH A D22-Jun-2020515

LICENSES/H16-Nov-20207

misc/H30-Nov-202018

README.mdH A D22-Jun-2020519

README.md

1<!--
2     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3
4     SPDX-License-Identifier: BSD-2-Clause
5-->
6
7# seL4\_tools
8
9Provides tools used to build seL4 projects.
10Also collects common config and tools for style checks.
11
12* [elfloader-tool](elfloader-tool/): loads the arm kernel.
13* [cmake-tool](cmake-tool/): most of the build system.
14* [misc](misc/): miscellaneous extra tools, including code style checks.
15
16
17## Contributing
18
19Contributions welcome!
20
21See the [CONTRIBUTING](.github/CONTRIBUTING.md) file for more.
22