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