From 012d3938a29b1f96e8a6931ac475abe81e9ca305 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Sun, 25 Sep 2011 20:49:01 +0200
Subject: [PATCH] avoid unneeded printing in the kernel message buffer

---
 drivers/char/stdio.c | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/drivers/char/stdio.c b/drivers/char/stdio.c
index 9a260ec1..35d6ddb5 100644
--- a/drivers/char/stdio.c
+++ b/drivers/char/stdio.c
@@ -22,9 +22,13 @@
 #include <metalsvm/stdio.h>
 #include <metalsvm/errno.h>
 #include <metalsvm/fs.h>
-#include <asm/kb.h>
 #include <metalsvm/tasks.h>
 #include <metalsvm/spinlock.h>
+#include <asm/kb.h>
+#include <asm/io.h>
+#ifdef CONFIG_VGA
+#include <asm/vga.h>
+#endif
 
 /* Functions of a simple null device */
 
@@ -80,7 +84,13 @@ static ssize_t stdio_write(fildes_t* file, uint8_t* buffer, size_t size)
 {
 	int i;
 	for (i = 0; i<size; i++, buffer++) {
+#ifdef CONFIG_VGA
+		vga_putchar(*buffer);
+#elif defined(CONFIG_UART)
+		uart_putchar(*buffer);
+#else
 		kputchar(*buffer);
+#endif
 	}
 
 	file->offset += size;