Improved logging system

kernel/drivers/timer.c

@@ -9,13 +9,12 @@ uint32_t tick = 0;
 
 static void timer_callback(registers_t regs) {
     tick++;
-    uint8_t buf[8];
+    /* uint8_t buf[8];
     itoa(tick, buf, 10);
     kprint((uint8_t*)"Time: ");
     uitoa(tick, buf, 10);
     kprint((uint8_t*)buf);
-    kprint((uint8_t*)"\n");
-
+    kprint((uint8_t*)"\n");*/
     // Cast to void unused parameter
     UNUSED_PAR(regs);
 }

kernel/drivers/timer.h

@@ -31,7 +31,7 @@
  */
 
 void init_timer(uint32_t frequency);
-
+uint32_t tick;
 /* Since regs parameter(from timer_callback) will be unused
  * GCC(with -Werror flag) will dump an error, so we avoid this
  * using the following macro