)]}'
{
  "id": "96638c48e7b3036c324a965f48972ba09d6c3b7b",
  "repo": "ipxe",
  "revision": "2d3f2b24465cfd270066e60e2daa36aa879ca89b",
  "path": "src/interface/efi/efi_reboot.c"
}