<div dir="ltr"><div class="gmail_extra">I don't know anything about wayland.</div><div class="gmail_extra"><br></div><div class="gmail_extra">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.</div><div class="gmail_extra"><br></div><div class="gmail_extra">[1] <a href="http://vfio.blogspot.com/2015/05/vfio-gpu-how-to-series-part-3-host.html">http://vfio.blogspot.com/2015/05/vfio-gpu-how-to-series-part-3-host.html</a><br></div></div>