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