virtualdxs [1] filed a orphan request for xen [2]: It doesn't build, and the maintainer hasn't done anything since May. It's also been flagged out of date as of June. [1] https://aur.archlinux.org/account/virtualdxs/ [2] https://aur.archlinux.org/pkgbase/xen/