3 ms·
On Xen, QubeOS uses vchan for inter-VM shared memory communication, https://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ https://ro
by transpute 1y ago
On Xen, QubeOS uses vchan for inter-VM shared memory communication, https://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ https://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-....
Virtio on Xen is still a work in progress, https://wiki.xenproject.org/wiki/Virtio_On_Xen https://wiki.xenproject.org/wiki/Virtio_On_Xen
- kfreds 1y agoYes. I've used Qubes on and off since 2012. What I'd love to do is run Linux on top of seL4, and virtio-backends in VMs. There is a patch for ivshmemv2, but it seems abandoned.