--- linux-2.6-kgdb.orig/drivers/tty/tty_buffer.c        2011-07-27 13:58:51.473203998 -0500
+++ linux-2.6-kgdb/drivers/tty/tty_buffer.c     2011-07-27 14:10:29.493204001 -0500
@@ -493,10 +493,14 @@
                tty->buf.tail->commit = tty->buf.tail->used;
        spin_unlock_irqrestore(&tty->buf.lock, flags);

+#ifndef CONFIG_PREEMPT_RT_FULL
        if (tty->low_latency)
                flush_to_ldisc(&tty->buf.work);
        else
                schedule_work(&tty->buf.work);
+#else
+       flush_to_ldisc(&tty->buf.work);
+#endif
 }
 EXPORT_SYMBOL(tty_flip_buffer_push);