Hi Alexander, awesome work, thanks!
I don't know if it's the most appropriate fix but to have the patch series working I had to add `select VMAPPLE_VIRTIO_BLK` to `hw/vmapple/Kconfig`: > config VMAPPLE > bool > depends on ARM && HVF > default y if ARM && HVF > imply PCI_DEVICES > select ARM_GIC > select PLATFORM_BUS > select PCI_EXPRESS > select PCI_EXPRESS_GENERIC_BRIDGE > select PL011 # UART > select PL031 # RTC > select PL061 # GPIO > select GPIO_PWR > select PVPANIC_MMIO > select VMAPPLE_AES > select VMAPPLE_BDIF > select VMAPPLE_CFG > select VMAPPLE_PVG > + select VMAPPLE_VIRTIO_BLK Otherwise QEMU raises the error `'vmapple-virtio-root' is not a valid device model name`. Francesco