Many debugging/serial improvements

Sorry for the little information, but I did many things :)

1 files changed, 4 insertions, 2 deletions

diff --git a/src/kernel/lib/stdio.h b/src/kernel/lib/stdio.h
index d102dd6..8299dea 100644
--- a/src/kernel/lib/stdio.h
+++ b/src/kernel/lib/stdio.h
@@ -9,8 +9,10 @@ char *readline();
 
 void writec(char c);
 
-void vprintf(const char *format, va_list args);
+void vprintf(const char *fmt, va_list args);
 
-void printf(const char *format, ...);
+void printf(const char *fmt, ...);
+
+void serial_printf(const char *fmt, ...);
 
 #endif