# hyp-sel4-projects-libs

**Repository Path**: hanhai-modules/hyp-sel4-projects-libs

## Basic Information

- **Project Name**: hyp-sel4-projects-libs
- **Description**: 开源的sel4_project_libs，黑芝麻自研Hypervisor适配sel4内核需要使用，修改其以适配黑芝麻自研SoC芯片
- **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 2017, Data61
     Commonwealth Scientific and Industrial Research Organisation (CSIRO)
     ABN 41 687 119 230.

     This software may be distributed and modified according to the terms of
     the BSD 2-Clause license. Note that NO WARRANTY is provided.
     See "LICENSE_BSD2.txt" for details.

     @TAG(DATA61_BSD)
-->

# seL4_projects_libs

seL4 Projects Libraries
=======================

A collection of libraries for seL4. These libraries are compatible with seL4_libs.

# Modification

Support bst A1000B Board and Trout Android VM.