)]}'
{
  "id": "e019fdc38773c8046617a33aee0aad5883aa1ce7",
  "repo": "arm/linux",
  "revision": "7d02c4d64dbbc7dc1996d32171067d3ad8f06ae9",
  "path": "Documentation/devicetree/bindings/timer/nvidia,tegra20-timer.txt"
}
