From fd6e0ed0f7e3259e1d4b2c7602811fa920ed53ca Mon Sep 17 00:00:00 2001
From: Bananymous <bananymousosq@gmail.com>
Date: Tue, 13 Dec 2022 20:44:52 +0200
Subject: [PATCH] Kernel: debug printing now show system time correctly

---
 kernel/include/kernel/Serial.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/kernel/include/kernel/Serial.h b/kernel/include/kernel/Serial.h
index 8e384b219..ef7239f76 100644
--- a/kernel/include/kernel/Serial.h
+++ b/kernel/include/kernel/Serial.h
@@ -3,10 +3,10 @@
 #include <BAN/Formatter.h>
 #include <kernel/PIT.h>
 
-#define dprintln(...)																										\
-	do {																													\
-		BAN::Formatter::print<Serial::serial_putc>("[{5.3}] {}({}):  ", (float)PIT::ms_since_boot(), __FILE__, __LINE__);	\
-		BAN::Formatter::println<Serial::serial_putc>(__VA_ARGS__);															\
+#define dprintln(...)																												\
+	do {																															\
+		BAN::Formatter::print<Serial::serial_putc>("[{5.3}] {}({}):  ", (float)PIT::ms_since_boot() / 1000.0f, __FILE__, __LINE__);	\
+		BAN::Formatter::println<Serial::serial_putc>(__VA_ARGS__);																	\
 	} while(false)
 
 #define dwarnln(...)											\