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