add basic stdio

src/kernel.c

@@ -1,5 +1,6 @@
 #include "../include/isr.h"
 #include "../include/screen.h"
+#include "../include/stdio.h"
 #include "../include/utils.h"
 
 /* Check if the compiler thinks you are targeting the wrong operating system. */
@@ -16,9 +17,12 @@
 void kmain()
 {
 	terminal_initialize();
-	terminal_writestring("KatauOS booting up\n");
+	printf("KatauOS booting up\n");
 	isr_install();
-	terminal_writestring("Kernel init sequence completed\n");
+	printf("Kernel init sequence completed\n");
+
+	char yooo[256] = "heheh";
+	printf("test string: %s\n", yooo);
 
 	while(1)
 	{