diff -r f136ed65b65a xen/drivers/char/console.c
--- a/xen/drivers/char/console.c	Fri Mar 09 14:52:13 2007 -0500
+++ b/xen/drivers/char/console.c	Fri Mar 09 15:17:07 2007 -0500
@@ -328,8 +328,12 @@ static long guest_console_write(XEN_GUES
 
         sercon_puts(kbuf);
 
-        for ( kptr = kbuf; *kptr != '\0'; kptr++ )
+        for ( kptr = kbuf; *kptr != '\0'; kptr++ ) {
             vga_putchar(*kptr);
+            putchar_console_ring(*kptr);
+        }
+
+        send_guest_global_virq(dom0, VIRQ_CON_RING);
 
         guest_handle_add_offset(buffer, kcount);
         count -= kcount;