int main(int argc, char *argv[])
{
- openconsole(&dev_null_r, &dev_stdcon_w);
+ openconsole(&dev_null_r, &dev_stdcon_w);
- if (argc != 2) {
- fprintf(stderr, "Usage: config <filename>\n");
- return 1;
- }
+ if (argc != 2) {
+ fprintf(stderr, "Usage: config <filename>\n");
+ return 1;
+ }
- syslinux_run_kernel_image(argv[1], "", 0, IMAGE_TYPE_CONFIG);
+ syslinux_run_kernel_image(argv[1], "", 0, IMAGE_TYPE_CONFIG);
- fprintf(stderr, "config: %s: failed to load (missing file?)\n", argv[1]);
- return 1;
+ fprintf(stderr, "config: %s: failed to load (missing file?)\n", argv[1]);
+ return 1;
}