/* Configuration file */
VERSION=1;
[SECURE_SUBSYSTEM]
    TEE;
    [SECURITY_OPERATION]
        RNG;
        RNG_RANGE=0:32;
    [SECURITY_OPERATION]
        MAC;
    [SECURITY_OPERATION]
        STORAGE_STORE;
[SECURE_SUBSYSTEM]
    SECO;
    [SECURITY_OPERATION]
        GENERATE_KEY;
    [SECURITY_OPERATION]
        DERIVE_KEY;
        OP_TYPE_VALUES=TLS12_KEY_EXCHANGE;
    [SECURITY_OPERATION]
        IMPORT_KEY;
    [SECURITY_OPERATION]
        EXPORT_KEY;
    [SECURITY_OPERATION]
        DELETE_KEY;
    [SECURITY_OPERATION]
        RNG;
        RNG_RANGE=0:64;
    [SECURITY_OPERATION]
        MAC;
    [SECURITY_OPERATION]
        STORAGE_STORE;
    [SECURITY_OPERATION]
        STORAGE_RETRIEVE;
[SECURE_SUBSYSTEM]
    TEE;
    [SECURITY_OPERATION]
        GENERATE_KEY;
    [SECURITY_OPERATION]
        DERIVE_KEY;
        OP_TYPE_VALUES=TLS12_KEY_EXCHANGE;
    [SECURITY_OPERATION]
        IMPORT_KEY;
    [SECURITY_OPERATION]
        EXPORT_KEY;
    [SECURITY_OPERATION]
        DELETE_KEY;
    [SECURITY_OPERATION]
        RNG;
        RNG_RANGE=64:256;
    [SECURITY_OPERATION]
        STORAGE_RETRIEVE;
    [SECURITY_OPERATION]
        STORAGE_DELETE;
