Skip to content
Change the repository type filter

All

    Repositories list

    • Bao, a Lightweight Static Partitioning Hypervisor
      C
      Apache License 2.0
      12737546Updated Nov 4, 2024Nov 4, 2024
    • Apache License 2.0
      0000Updated Oct 28, 2024Oct 28, 2024
    • Assembly
      Apache License 2.0
      1000Updated Oct 23, 2024Oct 23, 2024
    • bao-ci

      Public
      Python
      Apache License 2.0
      3149Updated Oct 18, 2024Oct 18, 2024
    • bao-nix

      Public
      Nix
      Apache License 2.0
      0202Updated Oct 16, 2024Oct 16, 2024
    • bao-tests

      Public
      Python
      Apache License 2.0
      0201Updated Oct 16, 2024Oct 16, 2024
    • bao-demos

      Public
      A guide on how to build and use a set of Bao guest configurations for various platforms
      Makefile
      Other
      383575Updated Sep 27, 2024Sep 27, 2024
    • A simple bare-metal guest for testing out bao
      C
      Apache License 2.0
      21605Updated Sep 27, 2024Sep 27, 2024
    • A ready-to-go port to run freertos over bao
      C
      11502Updated Sep 26, 2024Sep 26, 2024
    • bao-docs

      Public
      Python
      Apache License 2.0
      0335Updated Sep 19, 2024Sep 19, 2024
    • C
      0000Updated Jul 29, 2024Jul 29, 2024
    • Build instructions and binaries for RISC-V toolchains used in the Bao Project
      Makefile
      0000Updated Jul 23, 2024Jul 23, 2024
    • C
      0000Updated Jul 23, 2024Jul 23, 2024
    • C
      31000Updated Apr 20, 2024Apr 20, 2024
    • Read-only mirror of Trusted Firmware-A
      C
      Other
      1.4k101Updated Jul 12, 2023Jul 12, 2023
    • bao-lib

      Public
      0100Updated Mar 22, 2023Mar 22, 2023
    • opensbi

      Public
      RISC-V Open Source Supervisor Binary Interface
      C
      Other
      507200Updated Feb 5, 2023Feb 5, 2023