# CONFIG_TEE is not set