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