Would it be much trouble to have the next RC kernel be Xen-enabled? It’s just a couple of config options that need switching.
I’d love to be able to run Zeroshell under Xen PV.
—-
AFAIK, including xen support doesn’t jeopardize anything else. For example, the default Ubuntu kernel includes Xen support: https://help.ubuntu.com/community/Xen