int early_boot = 1;
+bool serial_console_enabled = false;
+
static boot_args *kernelBootArgs;
extern int disableConsoleOutput;
}
}
if (serialmode & SERIALMODE_OUTPUT) {
+ serial_console_enabled = true;
(void)switch_to_serial_console();
disableConsoleOutput = FALSE; /* Allow printfs to happen */
}