Fix

src/kernel/kernel.c

@@ -1,3 +1,4 @@
+#include <stdio.h>
 #include "lib/vga.c"
 
 void main() {

src/kernel/lib/vga.c

@@ -18,7 +18,7 @@ char* get_vga_charpos_pointer(unsigned int col, unsigned int row) {
 	return (char*)(VIDEO_MEM + 2*((row*80) + col)); 
 }
 
-void putc(char c, unsigned int col, unsigned int row, int colorcode) {
+void writechar(char c, unsigned int col, unsigned int row, int colorcode) {
 	char* mem = get_vga_charpos_pointer(col, row);
 	*mem = c; 		// Write the character
 	*(mem+1) = colorcode;	// Write the colorcode
@@ -45,7 +45,7 @@ void set_cursor_pos(unsigned int x, unsigned int y) {
 
 void print(char* str, int colorcode) {
 	for( char* c = str; *c != '\0'; c++ ) 
-		putc(*c, (unsigned int)(c - str) + cursor_col, cursor_row, colorcode);
+		writechar(*c, (unsigned int)(c - str) + cursor_col, cursor_row, colorcode);
 }
 
 void println(char* str, int colorcode) {