)]}'
{
  "id": "4c9ea5989e352166e3ccc23b9929f9fa83a746d3",
  "repo": "manifest_repos/kernel",
  "revision": "0109c45191d4b2385ba676f460c914e16ddf4cb8",
  "path": "Documentation/devicetree/bindings/timer/andestech,atcpit100-timer.txt"
}