- /*
- * If DB_HALT flag is set, then cause a breakpoint to the debugger
- * immediately after the kernel debugger has been initialized.
- *
- * If DB_PRT flag is set, then enable debugger printf.
- */
- disableDebugOuput = TRUE; /* FIXME: override osfmk/i386/AT386/model_dep.c */
-
- if (PE_parse_boot_arg("debug", &debug_arg)) {
- if (debug_arg & DB_HALT) halt_in_debugger = 1;
- if (debug_arg & DB_PRT) disableDebugOuput = FALSE;
+ // New EFI-style
+ PE_state.bootArgs = _args;
+ PE_state.deviceTreeHead = (void *) ml_static_ptovirt(args->deviceTreeP);
+ if (args->Video.v_baseAddr) {
+ PE_state.video.v_baseAddr = args->Video.v_baseAddr; // remains physical address
+ PE_state.video.v_rowBytes = args->Video.v_rowBytes;
+ PE_state.video.v_width = args->Video.v_width;
+ PE_state.video.v_height = args->Video.v_height;
+ PE_state.video.v_depth = args->Video.v_depth;
+ PE_state.video.v_display = args->Video.v_display;
+ strlcpy(PE_state.video.v_pixelFormat, "PPPPPPPP",
+ sizeof(PE_state.video.v_pixelFormat));
+ } else {
+ PE_state.video.v_baseAddr = args->VideoV1.v_baseAddr; // remains physical address
+ PE_state.video.v_rowBytes = args->VideoV1.v_rowBytes;
+ PE_state.video.v_width = args->VideoV1.v_width;
+ PE_state.video.v_height = args->VideoV1.v_height;
+ PE_state.video.v_depth = args->VideoV1.v_depth;
+ PE_state.video.v_display = args->VideoV1.v_display;
+ strlcpy(PE_state.video.v_pixelFormat, "PPPPPPPP",
+ sizeof(PE_state.video.v_pixelFormat));