Repositories list

• bao-hypervisor

  Public
  Bao, a Lightweight Static Partitioning Hypervisor

  securityvirtualizationhypervisor+ 12staticsafetypartitioningmpummuarmv8risc-v+ 5

  C

  •

  Apache License 2.0

  •140•407•4•6•Updated Mar 26, 2025Mar 26, 2025

• bao-baremetal-guest

  Public
  A simple bare-metal guest for testing out bao

  C

  •

  Apache License 2.0

  •24•7•0•5•Updated Mar 25, 2025Mar 25, 2025

• arm-trusted-firmware

  Public
  Read-only mirror of Trusted Firmware-A

  C

  •

  Other

  •1.4k•1•0•1•Updated Mar 22, 2025Mar 22, 2025

• opensbi

  Public
  RISC-V Open Source Supervisor Binary Interface

  C

  •

  Other

  •552•2•0•0•Updated Mar 22, 2025Mar 22, 2025

• freertos-over-bao

  Public
  A ready-to-go port to run freertos over bao

  C

  •13•5•0•2•Updated Mar 22, 2025Mar 22, 2025

• bao-helloworld

  Public
  C

  •3•9•0•0•Updated Feb 26, 2025Feb 26, 2025

• bao-docs

  Public
  Python

  •

  Apache License 2.0

  •0•4•3•5•Updated Jan 29, 2025Jan 29, 2025

• bao-demos

  Public
  A guide on how to build and use a set of Bao guest configurations for various platforms

  Makefile

  •

  Other

  •42•41•11•6•Updated Jan 23, 2025Jan 23, 2025

• meta-bao

  Public
  BitBake

  •

  MIT License

  •0•0•0•0•Updated Jan 21, 2025Jan 21, 2025

• bao-nix

  Public
  Nix

  •

  Apache License 2.0

  •0•2•0•1•Updated Dec 5, 2024Dec 5, 2024

• bao-freertos-test

  Public
  C

  •0•0•0•0•Updated Dec 5, 2024Dec 5, 2024

• bao-guest-static-loader

  Public
  Assembly

  •

  Apache License 2.0

  •1•0•0•0•Updated Dec 3, 2024Dec 3, 2024

• bao-linux-drivers

  Public
  Bao Hypervisor Linux Drivers.

  linuxkerneldriver+ 1operating-system

  C

  •

  GNU General Public License v2.0

  •0•2•0•0•Updated Nov 21, 2024Nov 21, 2024

• bao-virtio-dm

  Public
  Bao VirtIO Device Model written in Rust.

  rustvirtualizationdevices+ 1virtio

  Rust

  •

  Apache License 2.0

  •2•3•0•0•Updated Nov 18, 2024Nov 18, 2024

• bao-virtio

  Public
  Apache License 2.0

  •0•1•0•0•Updated Oct 28, 2024Oct 28, 2024

• bao-ci

  Public
  Python

  •

  Apache License 2.0

  •3•1•4•9•Updated Oct 18, 2024Oct 18, 2024

• bao-tests

  Public
  Python

  •

  Apache License 2.0

  •0•2•0•1•Updated Oct 16, 2024Oct 16, 2024

• bao-riscv-toolchain

  Public
  Build instructions and binaries for RISC-V toolchains used in the Bao Project

  Makefile

  •0•0•0•0•Updated Jul 23, 2024Jul 23, 2024

• bao-baremetal-test

  Public
  C

  •0•0•0•0•Updated Jul 23, 2024Jul 23, 2024

• bao-lib

  Public
  0•1•0•0•Updated Mar 22, 2023Mar 22, 2023