I don't know anything about wayland. Part of the problem with PCI addresses is that they can change, device IDs cannot. Depending on how the BIOS enumerates devices, adding or removing a card may change the device address. Kernel options like pci=assign-busses can also change the address of a device. So specifying a device address is not as stable as it may seem. What you want is available using initramfs scripts[1], it's just not standardized, unfortunately.
[1] http://vfio.blogspot.com/2015/05/vfio-gpu-how-to-series-part-3-host.html
_______________________________________________ vfio-users mailing list vfio-users@redhat.com https://www.redhat.com/mailman/listinfo/vfio-users
