int main(int argc, const char *argv[]) { if (argc < 2) { printf("Usage: gpxecmd command...\n"); return 1; } if (!is_gpxe()) { printf("gpxecmd: gPXE API not detected\n"); return 1; } gpxecmd(argv + 1); return 0; }
int main(int argc, const char *argv[]) { openconsole(&dev_null_r, &dev_stdcon_w); if (argc < 2) { printf("Usage: sanboot rootpath\n"); return 1; } if (!is_gpxe()) { printf("sanboot: gPXE API not detected\n"); return 1; } sanboot(argv + 1); /* sanboot() should not return... */ printf("SAN boot failed.\n"); return 1; }