Skip to content
Change the repository type filter

All

    Repositories list

    • Bao, a Lightweight Static Partitioning Hypervisor
      C
      Apache License 2.0
      180546814Updated Jul 3, 2026Jul 3, 2026
    • A ready-to-go port to run freertos over bao
      C
      13702Updated Jul 2, 2026Jul 2, 2026
    • A simple bare-metal guest for testing out bao
      C
      Apache License 2.0
      311003Updated Jul 2, 2026Jul 2, 2026
    • bao-demos

      Public
      A guide on how to build and use a set of Bao guest configurations for various platforms
      Makefile
      Other
      5554187Updated Jun 26, 2026Jun 26, 2026
    • Bao VirtIO Device Model written in Rust.
      Rust
      Apache License 2.0
      3610Updated Jun 23, 2026Jun 23, 2026
    • Bao Hypervisor Linux Drivers.
      C
      GNU General Public License v2.0
      2501Updated Jun 23, 2026Jun 23, 2026
    • C
      51241Updated Jun 3, 2026Jun 3, 2026
    • bao-docs

      Public
      Python
      Apache License 2.0
      1433Updated May 29, 2026May 29, 2026
    • bao-kao

      Public
      Python
      Apache License 2.0
      0301Updated May 22, 2026May 22, 2026
    • bao-ci

      Public
      Python
      Apache License 2.0
      4249Updated May 22, 2026May 22, 2026
    • C
      1000Updated May 18, 2026May 18, 2026
    • meta-bao

      Public
      BitBake
      Apache License 2.0
      0000Updated Apr 21, 2026Apr 21, 2026
    • C
      MIT License
      1000Updated Apr 14, 2026Apr 14, 2026
    • 0000Updated Feb 20, 2026Feb 20, 2026
    • hal_nxp

      Public
      HAL module for NXP SoCs
      C
      Other
      183000Updated Feb 12, 2026Feb 12, 2026
    • GCC-based toolchain for RH850
      Shell
      11000Updated Feb 12, 2026Feb 12, 2026
    • linux

      Public
      Bao Project's Linux Fork
      C
      Other
      63k101Updated Jan 7, 2026Jan 7, 2026
    • Build instructions and binaries for RISC-V toolchains used in the Bao Project
      Makefile
      0000Updated Nov 21, 2025Nov 21, 2025
    • bao-nix

      Public
      Nix
      Apache License 2.0
      0200Updated Nov 20, 2025Nov 20, 2025
    • opensbi

      Public
      RISC-V Open Source Supervisor Binary Interface
      C
      Other
      688400Updated Jul 18, 2025Jul 18, 2025
    • Read-only mirror of Trusted Firmware-A
      C
      Other
      1.6k101Updated Jul 18, 2025Jul 18, 2025
    • C
      0000Updated Apr 3, 2025Apr 3, 2025
    • Makefile
      0000Updated Feb 13, 2025Feb 13, 2025
    • Assembly
      Apache License 2.0
      1100Updated Dec 3, 2024Dec 3, 2024
    • Apache License 2.0
      0100Updated Oct 28, 2024Oct 28, 2024
    • bao-reqs

      Public
      Makefile
      Apache License 2.0
      0101Updated Feb 9, 2024Feb 9, 2024
    • bao-lib

      Public
      0100Updated Mar 22, 2023Mar 22, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.