# hyp-seL4-tools

**Repository Path**: hanhai-modules/hyp-seL4-tools

## Basic Information

- **Project Name**: hyp-seL4-tools
- **Description**: 开源的sel4_tools，黑芝麻自研Hypervisor适配sel4内核需要使用。
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: release-open-source
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2024-06-26
- **Last Updated**: 2025-11-03

## 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.


# Modification

Support bst A1000B Board and Trout Android VM.


# License

elfloader-tool is licensed under [[GPLv2](LICENSE)](LICENSE).

other module is licensed under [[BSD2-Clause]()](LICENSE).