garnet/bin/tee_manager/meta/tee_manager.cmx

{
    "program": {
        "binary": "bin/tee_manager"
    },
    "sandbox": {
        "dev": [
            "class/tee"
        ],
        "features": [
            "isolated-persistent-storage"
        ]
    }
}