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