Index: Kernel/Core/ADC/X86/RTC.cs
===================================================================
--- Kernel/Core/ADC/X86/RTC.cs	(revision 718)
+++ Kernel/Core/ADC/X86/RTC.cs	(working copy)
@@ -55,6 +55,21 @@
 			//return CalculateTicks(AbsoluteDays(year, month, day), hours, minutes, seconds, milliseconds);
 		}
 		#endregion
+
+		#region GetTimeString
+		public static void WriteTime()
+		{
+			Foundation.StringBuilder* sbtime = Foundation.StringBuilder.CREATE();
+			byte Hours = CMOS.Read(CMOS.Address.Hour);
+			byte Minutes = CMOS.Read(CMOS.Address.Minutes);
+			byte Seconds = CMOS.Read(CMOS.Address.Seconds);
+			SharpOS.Kernel.ADC.TextMode.WriteByte(Hours);
+			SharpOS.Kernel.ADC.TextMode.Write(":");
+			SharpOS.Kernel.ADC.TextMode.WriteByte(Minutes);
+			SharpOS.Kernel.ADC.TextMode.Write(":");
+			SharpOS.Kernel.ADC.TextMode.WriteByte(Seconds);
+		}
+		#endregion
 	}
 }
 
Index: Kernel/Core/Console.cs
===================================================================
--- Kernel/Core/Console.cs	(revision 718)
+++ Kernel/Core/Console.cs	(working copy)
@@ -262,7 +262,7 @@
 				TextMode.SaveAttributes ();
 				TextMode.MoveTo (0, 24);
 				TextMode.SetAttributes (TextColor.Yellow, TextColor.Red);
-				TextMode.WriteLine ("Timer ticks: ", (int) ticks);
+				ADC.X86.RTC.WriteTime();
 				TextMode.RestoreAttributes ();
 				TextMode.MoveTo (x, y);
 			}