/* Configuration file */
VERSION=1;
[SECURE_SUBSYSTEM]
    TEE;
    AT_FIRST_CALL_LOAD;
    [SECURITY_OPERATION]
        RNG;
        RNG_RANGE=0:32;
[SECURE_SUBSYSTEM]
    TEE;
    AT_FIRST_CALL_LOAD;
    [SECURITY_OPERATION]
        RNG;
        RNG_RANGE=64:256;
