Xen VPCI Weather Report
summary
vPCI is the PCI passthrough mechanism used on Arm and PVH on x86 and now traps ECAM accesses to present a virtual PCI bus; a recent per-domain read-write lock rework is upstream and unblocks roughly 800 downstream patches. Proof-of-concept PVH passthrough to a DAmu exists, remote tests run on a Versal VCK190, and downstream branches provide SMMU PCI and VGICv3 support. The talk compares using QEMU-backed virtio-pci (IOREQ) alongside vPCI and explores dom0less / hyperlaunch configurations.
AI-written summary · about
chapters (14)
- 0:00Introduction and background
- 1:25VPPCI basics and PCI passthrough
- 5:07ARM-specific PCI implementation
- 8:05PCI passthrough on ARM with VPPCI
- 11:00Interrupt handling in VPPCI
- 12:07Demo with Versal VCK190 board
- 13:17History and evolution of VPPCI
- 14:45Locking improvements in VPPCI
- 16:41Future work and downstream branches
- 18:50Virtual device and bridge support
- 20:18VPPCI and VERDI PCI coexistence
- 22:52DMA coherence considerations
- 23:12VERDI PCI backend requirements
- 23:55Q&A session
related talks
36mShared Virtual Addressing for High Performance Arm Infrastructure Platforms
18mZVM: Zephyr-based Virtual Machine
34mVirtio-msg: Making Virtio Work Where It Does Not Today
32mDeveloping the RISC-V Hypervisor Extensions in QEMU
48mXen and the Art of Embedded Systems Virtualization
30mLook Ma’, No (Real) Interrupt Controller!
30mEnabling a Software-Defined Automotive Edge with VirtIO Based Device Virtua...
24mRISC-V IOMMU