2025-09 Update and Notes
Summary of Month
Plans
hvac-demo updates:
Stretch: Rebase demo-amp-dual-linux to LKML RFC v1. Moved to October
Stretch: Rebase all demos to use Yocto base images to improve boot speed, Deferred
Move AMD demo to single x86 + Arm board (Sapphire Edge+ VPR-5050A)
Highlights
Two presentations of virtio-msg at the Xen Summit: Trap-Free Virtio for Xen and Virtio across Xen domain in mixed-architecture SoCs
Moved the AMD x86 + Arm demo to the single board VPR-5050A
Issues
Bill, Bertrand, and Edgar were out 1 week (September 15 to 19) for the Xen Summit
Meeting September 11
Xen Summit next week: Bertrand & Edgar
KVM Forum: Alex talked to Mathies (RedHat) and Alex Graf (AWS)
AWS Secure VM that has no devices other than a PCI w/ virtio-vsock
Alex: MST a new version is a lot of work so no specific timeline for a v1.4 release
Armelle: Talked to a Si vendor and they are interested in this work
Spec Changes from Edgar:
Remove length from config and features in favor of length in header: Agreed
Specify that Responses return in order to Requests for the same device.
OR specify that only one requests to a single device an be outstanding
OR completely handle out of order responses
Meeting September 25
Xen summit last week, Presentations from Bertrand and Edgar
TODO Slides from xen summit
Xen specific bus implementation: use grants & events
Problem: startup & config / discovery, One solution was to use Argo (xen hypervisor resident msg passing). Argo is adding a port 0 discovery method. Need to add a domu discovery method also.
Also: xsm configuration could be made dynamic??
Also: xen-store possible as well but want a solution that works w/o Dom0 or store stubdom
One company wants to use RPMsg on Xen Linux to Zephyr. Interesting demo possible here
Discussion of what Argo could add to virtio-msg for Xen
Suggestion: do DT first, let x86 figure out hyper-launch
Edgar: AMP on 5050A, Kris is doing Yocto for both sides
Edgar: clean QEMU RFC for QEMU w/ PCI card w/ virtio-msg-amp (name is demo-amp-qemu-pci in hvac-demo)
Edgar: virtio-media: patches are now in virtio spec (v1.4 branch). Only known back-end is in Rust today
Alex: virtio-video may go in the spec also
virtio-camera will probably not make progress until someone drives hard
Alex: looked at the list
Message Order v2: add 32 bit transaction ID in common header. Does not need to be used in driver side will not send multiple messages.
Arnaud: Mailbox subsystem has same issue, may want to look at it
Alex: trixie (Debian 13) broke the laytex build, fixed via bookworm (12) container. Alex will look at fixing for trixie.