This project extends QEMU FUSE export with support for FUSE-over-io_uring, a modern Linux interface that enables asynchronous, high-performance...
Asynchronous request handling for virtiofsd
Kaisei Hishida
Virtio-fs is a shared file system that lets virtual machines access a directory tree on the host. Virtiofsd is the user-level host daemon that...
Adding Kani proofs for Virtqueues in Rust-vmm
Siddharth Priya
This project aims to formally verify that the Rust vmm (a Rust implementation of the VirtIO specification used in virtualization platforms like QEMU)...
Implementing LASI Network Card and NCR 710 SCSI Controller Device Models
Soumyajyotii Ssarkar
This project aims to enhance QEMU's HP PA-RISC emulation by implementing LASI Network Card and NCR 710 SCSI Controller device models. LASI Network...
vhost-user devices in Rust on macOS and *BSD
Wenyu Huang
Extend rust-vmm crates (vhost, vhost-user-backend) to enable vhost-user device support on non-Linux POSIX systems (macOS/*BSD). The goal of this...
