|
@@ -84,7 +84,6 @@ rmjmp_buf comboot_return;
|
84
|
84
|
/* Mode flags set by INT 22h AX=0017h */
|
85
|
85
|
static uint16_t comboot_graphics_mode = 0;
|
86
|
86
|
|
87
|
|
-
|
88
|
87
|
/**
|
89
|
88
|
* Print a string with a particular terminator
|
90
|
89
|
*/
|
|
@@ -713,3 +712,6 @@ void unhook_comboot_interrupts ( ) {
|
713
|
712
|
unhook_bios_interrupt ( 0x22, ( unsigned int ) int22_wrapper,
|
714
|
713
|
&int22_vector );
|
715
|
714
|
}
|
|
715
|
+
|
|
716
|
+/* Avoid dragging in serial console support unconditionally */
|
|
717
|
+struct uart serial_console __attribute__ (( weak ));
|