Hi everyone,
I hope all interested parties are part of the previously created list.
Based on the discussions we had previously, where I was struggling to find a setup where I can test virtio-msg with FFA (or something more realistic than hacked-up MMIO), I decided to go ahead and make use of Bertrand's Xen patches with Linux based host and guest VMs.
I now have a working setup with Bertrand's Xen patches, where we can do FFA I was able to reuse my earlier setup (where we tested I2C with MMIO traps) based virtio communication guest and host kernels. I have created another page [1] (similar to previous one) for curious ones to replicate it.
This would work just fine for Vsock as well, which I tested earlier with the backend from vhost-device crate.