static int __read_mostly sercon_handle = -1;
#ifdef CONFIG_X86
-static bool __read_mostly opt_console_xen; /* console=xen */
+/* Tristate: 0 disabled, 1 user enabled, -1 default enabled */
+int8_t __read_mostly opt_console_xen; /* console=xen */
#endif
static DEFINE_SPINLOCK(console_lock);
pv_console_init();
#ifdef CONFIG_X86
else if ( !strncmp(p, "xen", 3) )
- opt_console_xen = true;
+ opt_console_xen = 1;
#endif
else if ( !strncmp(p, "none", 4) )
continue;
}
}
+#ifdef CONFIG_X86
+ if ( opt_console_xen == -1 )
+ opt_console_xen = 0;
+#endif
+
serial_set_rx_handler(sercon_handle, serial_rx);
pv_console_set_rx_handler(serial_rx);
int console_suspend(void);
int console_resume(void);
+extern int8_t opt_console_xen;
+
#endif /* __CONSOLE_H__ */