# CONFIG_HAVE_KVM is not set
