Efficient DEBUG logging system with __FILE__ and fctprintf

src/time/timer.c

@@ -1,5 +1,6 @@
 #include <stdint.h>
 #include "../io/serial/serial.h"
+#include <kernel.h>
 
 /*
 For now, the timer module will be using the PIC.
@@ -72,4 +73,5 @@ void timer_init()
     pic_remap();
     pic_enable();
     pit_init();
+    DEBUG("PIT initialized");
 }