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