Alternatives and similar repositories for hvisor-tool

Users that are interested in hvisor-tool are comparing it to the libraries listed below

• syswonder / hvisor
  minimal type-1 Rust Hypervisor for edge devices
  ☆122Updated last week
• kvm-riscv / linux
  Linux KVM RISC-V repo
  ☆59Updated this week
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆57Updated last year
• bao-project / bao-demos
  A guide on how to build and use a set of Bao guest configurations for various platforms
  ☆46Updated 2 weeks ago
• KarmaD7 / rHyper
  ☆47Updated 2 years ago
• bao-project / bao-helloworld
  ☆12Updated 2 months ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆22Updated last week
• arceos-hypervisor / axvisor
  Unified modular arceos-hypervisor
  ☆18Updated last week
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆47Updated 3 years ago
• bao-project / bao-hypervisor
  Bao, a Lightweight Static Partitioning Hypervisor
  ☆446Updated last week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆121Updated 2 months ago
• riscvarchive / riscv-tee
  ☆38Updated 3 years ago
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆37Updated 2 years ago
• hakula139 / xv6-armv8
  [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C
  ☆19Updated 4 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• DCSec / HyperBench
  HyperBench: A Benchmark Suite for Virtualization Capabilities
  ☆31Updated 5 years ago
• avpatel / linux
  Linux kernel source tree
  ☆21Updated this week
• josecm / riscv-hyp-tests
  A bare-metal application to test specific features of the risc-v hypervisor extension
  ☆40Updated last year
• Gallium70 / rv-n-ext-impl
  ☆13Updated 2 years ago
• cogbt / COGBT
  Compile Optimization Guided Binary Translator (using llvm as infrastructure)
  ☆51Updated last year
• tyyteam / la-seL4
  The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4
  ☆20Updated 2 years ago
• oscomp / proj0-contest-and-lab-for-os-course
  操作系统课程实验设计
  ☆12Updated 5 months ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆79Updated 3 weeks ago
• Godones / rCoreloongArch
  ☆22Updated 3 months ago
• Penglai-Enclave / Penglai-Enclave-sPMP
  Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.
  ☆142Updated 5 months ago
• tjeznach / linux
  Linux kernel source tree
  ☆14Updated 2 months ago
• riscv-non-isa / riscv-ap-tee
  This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …
  ☆59Updated 3 months ago
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆144Updated 4 years ago
• oldawei / show_me_the_code
  Talk is cheap. Show me the code.
  ☆22Updated 9 months ago
• Jrinx / Jrinx
  ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.
  ☆26Updated 2 years ago