A Linux Bus for SVSM Services: Build New, Reuse VIRTIO, or Both? - Stefano Garzarella (Red Hat)