src/security/tee_manager/meta/tee_manager.cmx

{
    "include": [
        "sdk/lib/diagnostics/syslog/client.shard.cmx"
    ],
    "program": {
        "binary": "bin/tee_manager"
    },
    "sandbox": {
        "dev": [
            "class/tee"
        ],
        "features": [
            "config-data",
            "isolated-persistent-storage"
        ]
    }
}