/* Configuration file */
VERSION=1;
PSA_TAG_INVALID=TEE;
[SECURE_SUBSYSTEM]
    TEE;
    [SECURITY_OPERATION]
        GENERATE_KEY;
