)]}'
{
  "id": "3c59e19029befd7ad0070db571de0b4b8271dfdb",
  "repo": "linux",
  "revision": "f7fcc98dfc2d136722007fec0debbed761679b94",
  "path": "drivers/tee/optee/Kconfig"
}