# seL4_tools

**Repository Path**: dingslord/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**: 2019-11-12
- **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

* elfloader-tool: loads the arm kernel.
* common-tool: most of the build system.
* misc: miscellaneous extra tools.