I'm teaching the session on a Two node highly available cluster for virtual OS workloads. Are more people using XEN or KVM. Should I provide examples for both?