)]}'
{
  "id": "5baf5e5c42592fa7586325e6f3401afb62b58c18",
  "repo": "manifest_repos/kernel",
  "revision": "87e3cc7d802d25e3c44149fd9c7e1dda97378019",
  "path": "drivers/tee/Kconfig"
}