)]}'
{
  "id": "e0ed7a585e2967fad3a7b1df3abe8dd0317c42c7",
  "repo": "third_party/depthcharge",
  "revision": "refs/heads/main",
  "path": "src/drivers/timer/Kconfig"
}