Moved stdio.h into lib/

src/kernel/arch/i686/isr.c

@@ -1,6 +1,6 @@
 #include <stddef.h>
 #include "isr.h"
-#include "../../stdio.h"
+#include "../../lib/stdio.h"
 #include "idt.h"
 #include "io.h"
 #include "pic.h"

src/kernel/drivers/keyboard.c

@@ -1,9 +1,9 @@
 #include "../util/string.h"
 #include "keyboard.h"
 #include "../arch/i686/isr.h"
-#include "../stdio.h"
+#include "../lib/stdio.h"
 #include "../arch/i686/io.h"
-#include "../stdio.h"
+#include "../lib/stdio.h"
 
 static char g_key_buffer[256];
 

src/kernel/drivers/timer.c

@@ -1,6 +1,6 @@
 #include "timer.h"
 #include "../arch/i686/isr.h"
-#include "../stdio.h"
+#include "../lib/stdio.h"
 
 static void timer_handler(registers *regs){
     //printf("TICK\n");

src/kernel/lib/stdio.c

@@ -1,7 +1,7 @@
 #include <stdarg.h>
 #include <stdbool.h>
 #include "stdio.h"
-#include "drivers/vga.h"
+#include "../drivers/vga.h"
 
 static char g_HexChars[] = "0123456789abcdef";
 

src/kernel/main.c

@@ -1,5 +1,5 @@
 #include <stdint.h>
-#include "stdio.h"
+#include "lib/stdio.h"
 #include "hal/hal.h"
 #include "drivers/timer.h"
 #include "drivers/keyboard.h"