/* Hack! FIXME.. */
outb(0x21, 0xff); /* Maskout all interrupts Pic1 */
outb(0xa1, 0xff); /* Maskout all interrupts Pic2 */
-
if (PE_state.deviceTreeHead) {
DTInit(PE_state.deviceTreeHead);
- }
+ }
pe_identify_machine(args);
} else {
pe_init_debug();
}
+
}
void PE_create_console( void )
int (*PE_poll_input)(unsigned int options, char * c)
= PE_stub_poll_input;
-
-
+boolean_t
+PE_reboot_on_panic(void)
+{
+ return FALSE;
+}