[opensuse-kernel] status of kernel-xen in Kernel:stable?

I note that as of today, 'kernel-xen' is no longer included in builds @ https://build.opensuse.org/project/show/Kernel:stable Is its removal an oversight, or planned? IIRC, there were plans for the migration to kernel-pv (also missing, atm) -- and, eventually, to a single, consolidated, pv-ready kernel. Has that occurrred, perhaps? -- To unsubscribe, e-mail: opensuse-kernel+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-kernel+owner@opensuse.org