)]}'
{
  "id": "85d99d621603d7f2dd111c2549c312c01069df85",
  "repo": "manifest_repos/kernel",
  "revision": "89b5f1e34d261068481347da64bb7685c281f3a9",
  "path": "drivers/tee/tee_private.h"
}