)]}'
{
  "id": "86722dca9e2c13e58e1d96ad0bc7f8ecb22c92e4",
  "repo": "ipxe",
  "revision": "9f7141a1cedeca6d55b9ce43322f509a4577c883",
  "path": "src/include/gpxe/timer.h"
}