)]}'
{
  "id": "88c50250ccd280c06dd90fff0d9cc0434cd08558",
  "repo": "ipxe",
  "revision": "6a004be0cceab5d669eedb5a2e6ee2feab31d5bd",
  "path": "src/arch/arm/include/bits/reboot.h"
}