)]}'
{
  "id": "7a1ff786910b6e85045eb43c119e984d5853a829",
  "repo": "ipxe",
  "revision": "2d3f2b24465cfd270066e60e2daa36aa879ca89b",
  "path": "src/interface/efi/efi_timer.c"
}