)]}'
{
  "id": "ac25c057a1b2edf505fe4e4c4fd35416cbbee9fa",
  "repo": "public/gem5",
  "revision": "c0b57d8421238e1ffdeb3d8355d035df5df540f5",
  "path": "src/dev/arm/generic_timer.cc"
}