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