)]}'
{
  "id": "3fffa6f0e6defc5a4b6dbd5aa6665d5ee58e2da4",
  "repo": "third_party/github/zephyrproject-rtos/zephyr",
  "revision": "29b19bcf8bc8f97069be00a9012c4cf1b7dbfb8b",
  "path": "drivers/timer/Kconfig.leon_gptimer"
}