Re: [PATCH v2 12/12] hw/vmapple/vmapple: Add vmapple machine type

[Francesco Cagnin]

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