# CONFIG_SYS_HYPERVISOR is not set