FabioLolix [1] filed a deletion request for threadripper-vfio [2]: Abandoned and limited time effort (4 days) pkgbuild for an old 4.17 kernel. No votes or comments, last updated on 2018-08-12.
[1] https://aur.archlinux.org/account/FabioLolix/ [2] https://aur.archlinux.org/pkgbase/threadripper-vfio/
