Renamed some functions

print_string() -> puts()
print_string_at() -> puts_at()
Also created printf() that (for now) just calls puts()

src/kernel/drivers/vga.c

@@ -65,7 +65,7 @@ int print_char(char c, int x, int y){
     return offset;
 }
 
-void print_string_at(char *str, int x, int y){
+void puts_at(char *str, int x, int y){
     int offset;
     if(x >= 0 && y >= 0){
         offset = y*VGA_WIDTH+x;
@@ -112,6 +112,6 @@ void print_string_at(char *str, int x, int y){
     }
 }
 
-void print_string(char *str){
-    print_string_at(str, -1, -1);
+void puts(char *str){
+    puts_at(str, -1, -1);
 }

src/kernel/drivers/vga.h

@@ -51,5 +51,5 @@ void set_color(int x, int y, uint8_t color);
 void set_cursor(int offset);
 int get_cursor();
 int print_char(char c, int x, int y);
-void print_string_at(char *str, int x, int y);
-void print_string(char *str);
+void puts_at(char *str, int x, int y);
+void puts(char *str);

src/kernel/main.c

@@ -1,7 +1,7 @@
 #include <stdint.h>
-#include "drivers/vga.h"
+#include "stdio.h"
 
 void __attribute__((cdecl)) kmain(uint64_t magic, uint64_t addr){
-    print_string("Hello world!\n\x1b[32m:D\x1b[0m\n");
+    printf("Hello world!\n\x1b[32m:D\x1b[0m\n");
     for(;;); // Halt here 
 }

src/kernel/stdio.c

@@ -0,0 +1,5 @@
+#include "stdio.h"
+
+void printf(char *fmt, ...){
+    puts(fmt);
+}

src/kernel/stdio.h

@@ -0,0 +1,3 @@
+#pragma once
+
+void printf(char *fmt, ...);