)]}'
{
  "id": "11308b2ba5cf408b7d6b12606ffd88813ad3ee54",
  "repo": "edk2",
  "revision": "ee58614bbbb49e1dd4ad9cb43b7e4eef56736c13",
  "path": "ArmPkg/Drivers/TimerDxe/TimerDxe.h"
}