RISC-V Virtualization Frameworks and Hypervisors
Here is a list of RISC-V Virtualization frameworks as well as hypervisors designed to get you started on building your RISC-V cloud infrastructure.
seL4 microkernel with RISC-V support
A microkernel is the minimal core of an operating system (OS). It presents a very small subset of what is [...]
Diosix hypervisor
Diosix strives to be a lightweight, fast, and secure multiprocessor bare-metal hypervisor written in Rust for 64-bit RISC-V computers. Though this project is [...]
OpenHW RISC-V VM
The OpenHW Group's RISC-V Virtual Machine is intended for anyone wanting to study, configure as-preferred, modify, implement or release hardware [...]
R2VM Rust for RISC-V Virtual Machine
R2VM is a full-system, multi-core, cycle-level simulator, with binary translation to provide high performance. It can run RISC-V supervisor and [...]
PikeOS RTOS and Hypervisor
PikeOS is an RTOS that offers a kernel-based hypervisor with multiple partitions for many other operating systems and applications. It [...]
KVM Hypervisor for RISC-V
The Kernel Based Virtual Machive (KVM) is an open-source Type2 hypervisor which converts Linux kernel into a hypervisor. We typically [...]
Xvisor Type-1 RISC-V Hypervisor
Xvisor is an open-source type-1 hypervisor, which aims at providing a monolithic, light-weight, portable, and flexible virtualization solution. It [...]
RVirt RISC-V Hypervisor in Rust
RVirt is an S-mode trap-and-emulate hypervisor for RISC-V. It is currently targeted at QEMU's virt machine type, but partially supports [...]
VLAB Virtual Development Machines
A VLAB VDM can comprise a number of different embedded target processors of a different types, each running the same [...]