If we can sort out why the devices weren't showing up properly on the host (was the pci passthrough whitelist configuration correct? Or is it a known issue with the version of the kernel you were using with the types of devices?) then we could document something as a known issue...
If we can sort out why the devices weren't showing up properly on the host (was the pci passthrough whitelist configuration correct? Or is it a known issue with the version of the kernel you were using with the types of devices?) then we could document something as a known issue...