)]}'
{
  "id": "a44cd6fd7e754bde117c2193b42774ed19c91574",
  "repo": "public/gem5",
  "revision": "7185c9ea1936c0045858add1c8c116b15780debc",
  "path": "src/dev/arm/GenericTimer.py"
}