# CONFIG_NITRO_ENCLAVES is not set
