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