The device is now started using the QEMU command line. Three parameters have to be set, for example: qemu-system-arm -M vexpress-a15 -device pl330,\ vfio_group="/dev/vfio/0",vfio_device="2c0a0000.dma",\ vfio_container="/dev/vfio/vfio"