FredBezies [1] filed a deletion request for linux-vfio-selinux [2]: Based on a long dead kernel version. [1] https://aur.archlinux.org/account/FredBezies/ [2] https://aur.archlinux.org/pkgbase/linux-vfio-selinux/