MarsSeed [1] filed a deletion request for linux-pds [2]: The patches used in this Linux kernel variant seem to have been discontinued; most of them are unavailable (GitHub repo deleted, 404 not found). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/linux-pds/