DEBUG fix

src/idt/idt.c

@@ -125,7 +125,7 @@ struct cpu_status_t* interrupt_dispatch(struct cpu_status_t* context)
             break;
 
         case 32:
-            DEBUG("Tick!");
+            //DEBUG("Tick!");
             ticks++;
             // Send an EOI so that we can continue having interrupts
             outb(0x20, 0x20);

src/kernel.h

@@ -13,7 +13,9 @@ enum ErrorCodes
 #include "io/serial/serial.h"
 #include "io/term/printf.h"
 
-#define DEBUG(log) \
+// Still lacks print formatting...
+#define DEBUG(log, ...) \
+	printf("debug: [%s]: " log "\n", __FILE__, ##__VA_ARGS__); \
 	fctprintf((void*)&skputc, 0, "debug: [%s]: %s\n", __FILE__, log)
 
 #endif

src/kmain.c

@@ -61,8 +61,7 @@ void kmain()
 
 	// Draw something
 	printf("%s, %s!\n", "Hello", "world");
-
 	// Yoohoooooo!
-	DEBUG("kernel initialized successfully! hanging...");
+	DEBUG("kernel initialized successfully! hanging... wow=%d", 42);
 	hcf();
 }