)]}'
{
  "id": "b8275140cef8ecb0955972afc75310054ab7632a",
  "repo": "manifest_repos/kernel",
  "revision": "3f3edba0c97e82fa5e67a100c15d607eb0711066",
  "path": "drivers/tee/optee/optee_rpc_cmd.h"
}