hi: I am a newbie for spice. I understand spice and virtio are para-virtualization for device. Do I need to select one of them? Are they cooperated together or different solutions for device virtualization. Thanks MK -- www.skyeye.org