tty: don't use custom kputc; this fixes tty printf()s.

diff --git a/drivers/tty/console.c b/drivers/tty/console.c
index 4c4975d78b9b9721787fcbfd21ae349e819d539c..deb920153e24d0edefddfb5e829892fc64fe2432 100644 (file)
--- a/drivers/tty/console.c
+++ b/drivers/tty/console.c
@@ -1036,29 +1036,6 @@ tty_t *tp;
   cons_ioctl(tp, 0);
 }
 
-/*===========================================================================*
- *                             kputc                                        *
- *===========================================================================*/
-PUBLIC void kputc(int c)
-{
-/* Accumulate a single character for a kernel message. Send a notification
- * the to output driver if an END_OF_KMESS is encountered. 
- */
-#if 0
-  ser_putc(c);
-  return;
-#endif
-
-  if (c != 0) {
-      kmess.km_buf[kmess.km_next] = c; /* put normal char in buffer */
-      if (kmess.km_size < _KMESS_BUF_SIZE)
-          kmess.km_size += 1;          
-      kmess.km_next = (kmess.km_next + 1) % _KMESS_BUF_SIZE;
-  } else {
-      notify(LOG_PROC_NR);
-  }
-}
-
 /*===========================================================================*
  *                             do_new_kmess                                 *
  *===========================================================================*/