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