{
char *p;
int sh;
+#ifndef NDEBUG
+ char debug = 'y';
+#else
+ char debug = 'n';
+#endif
serial_init_preirq();
spin_lock(&console_lock);
__putstr(xen_banner());
spin_unlock(&console_lock);
- printk("Xen version %d.%d%s (%s@%s) (%s) %s\n",
+ printk("Xen version %d.%d%s (%s@%s) (%s) debug=%c %s\n",
xen_major_version(), xen_minor_version(), xen_extra_version(),
xen_compile_by(), xen_compile_domain(),
- xen_compiler(), xen_compile_date());
+ xen_compiler(), debug, xen_compile_date());
printk("Latest ChangeSet: %s\n", xen_changeset());
if ( opt_sync_console )