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