)]}'
{
  "id": "9847e98d3577c2bc8b6c398903892cb3bb90e0d7",
  "repo": "third_party/github/zephyrproject-rtos/zephyr",
  "revision": "984b5191c526cd41da599ffb36429e8c8eac33a7",
  "path": "drivers/timer/Kconfig.leon_gptimer"
}