Warning: unfinished (but successfull!)
I did PCI passthrough on Archlinux and Debian with the old PCI-stub method (this was pre-4.0 era).
And later I did PCI passthrough on the 4.1+ kernels on Arch and Ubuntu (16.10 I think?).
This is my attempt at doing the same on Nixos.