bitkeeper revision 1.1159.17.20 (411ba1b3C9nxXbGo3TmMBqL5zmK2LQ)

Allow domains other than domain 0 to write to the console in VERBOSE builds.

xen/drivers/char/console.c

@@ -292,7 +292,7 @@ long do_console_io(int cmd, int count, char *buffer)
     char *kbuf;
     long  rc;
 
-#ifdef NDEBUG
+#ifndef VERBOSE
     /* Only domain-0 may access the emergency console. */
     if ( current->domain != 0 )
         return -EPERM;