# CONFIG_NOVA_CORE is not set
