diff --git a/Kernel.cpp b/Kernel.cpp
index 83f97a6..f88ccc7 100644
--- a/Kernel.cpp
+++ b/Kernel.cpp
@@ -231,8 +231,16 @@ EXTERNC void KPrint(const char *Format, ...)
 {
     SmartLock(KernelLock);
 
-    Time::Clock tm = Time::ReadClock();
-    printf("\eCCCCCC[\e00AEFF%02d:%02d:%02d\eCCCCCC] ", tm.Hour, tm.Minute, tm.Second);
+    if (TimeManager)
+    {
+        uint64_t Nanoseconds = TimeManager->GetNanosecondsSinceClassCreation();
+        if (Nanoseconds != 0)
+        {
+            printf("\eCCCCCC[\e00AEFF%lu.%07lu\eCCCCCC] ",
+                   Nanoseconds / 10000000,
+                   Nanoseconds % 10000000);
+        }
+    }
 
     va_list args;
     va_start(args, Format);
diff --git a/KernelThread.cpp b/KernelThread.cpp
index 603247c..598527c 100644
--- a/KernelThread.cpp
+++ b/KernelThread.cpp
@@ -344,11 +344,7 @@ void KernelMainThread()
     KPrint("Starting Network Interface Manager...");
     NIManager->StartService();
 
-    Time::Clock tm = Time::ReadClock();
-    printf("\eCCCCCC[\e00AEFF%02d:%02d:%02d\eCCCCCC] ", tm.Hour, tm.Minute, tm.Second);
-    const char *USpace_msg = "Setting up userspace";
-    for (size_t i = 0; i < strlen(USpace_msg); i++)
-        Display->Print(USpace_msg[i], 0);
+    printf("\eCCCCCC[\e00AEFFKernel Thread\eCCCCCC] Setting up userspace");
     if (!Config.BootAnimation)
         Display->SetBuffer(0);