Hypervisor Testing

Architecture

The hypervisor module (crates/capsem-core/src/hypervisor/) has:

• Traits: Hypervisor, VmHandle, SerialConsole in mod.rs
• Apple VZ backend: apple_vz/ -- macOS only, uses Virtualization.framework
• KVM backend: kvm/ -- Linux only, uses rust-vmm crates

Tests must cover both backends where possible. macOS CI tests Apple VZ, Linux CI (ubuntu-24.04-arm with /dev/kvm) tests KVM.

Unit tests

VirtioFS FUSE operations have 30+ unit tests in kvm/virtio_fs/mod.rs:

• File I/O: open, read, write, create, release, flush, fsync, lseek
• Directory ops: opendir, readdir, mkdir, rmdir, unlink, rename, symlink, link
• Metadata: lookup, getattr, setattr, statfs, forget
• Adversarial: path traversal, truncated requests, invalid opcodes