)]}'
{
  "id": "70898bbd58095951744b8fd0a566ebd9249b8daf",
  "repo": "manifest_repos/kernel",
  "revision": "ee41e0a917f3f2f35422a93505fb4134ea69e553",
  "path": "drivers/tee/optee/Kconfig"
}