# CONFIG_HYPERVISOR_GUEST is not set
