kernel: Add RSOD(red screen of death)

This is not useful since 99% of the time I will have access to the
serial output. But it does look cool.

1 files changed, 3 insertions, 3 deletions

diff --git a/kernel/libc/stdio/print.c b/kernel/libc/stdio/print.c
index eedf026..3df6b5f 100644
--- a/kernel/libc/stdio/print.c
+++ b/kernel/libc/stdio/print.c
@@ -1,17 +1,17 @@
 #include <assert.h>
-#include <drivers/serial.h>
+#include <log.h>
 #include <stdio.h>
 #include <string.h>
 
 #define TAB_SIZE 8
 
 inline void putc(const char c) {
-  write_serial(c);
+  log_char(c);
 }
 
 void put_string(const char *s, int l) {
   for (; l > 0; l--, s++) {
-    write_serial(*s);
+    log_char(*s);
   }
 }