# seL4_tools

**Repository Path**: openEuler-sel4/seL4_tools

## Basic Information

- **Project Name**: seL4_tools
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-09-05
- **Last Updated**: 2020-12-19

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

<!--
     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](elfloader-tool/): loads the arm kernel.
* [cmake-tool](cmake-tool/): most of the build system.
* [misc](misc/): miscellaneous extra tools, including code style checks.


## Contributing

Contributions welcome!

See the [CONTRIBUTING](.github/CONTRIBUTING.md) file for more.