)]}'
{
  "id": "ed81b24715b69cc42902a5ecf36289ec92c6f993",
  "repo": "public/gem5",
  "revision": "refs/heads/feature-gui",
  "path": "src/dev/arm/GenericTimer.py"
}