From 31c13bcba2602d228136596bbbe163bce6ce5f07 Mon Sep 17 00:00:00 2001
From: Eryn Wells <eryn@erynwells.me>
Date: Tue, 29 Mar 2016 11:56:06 -0400
Subject: [PATCH] Pass system kernel's console to the internal print() function

---
 src/kstd/PrintFormat.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/kstd/PrintFormat.cc b/src/kstd/PrintFormat.cc
index b1bded5..3291621 100644
--- a/src/kstd/PrintFormat.cc
+++ b/src/kstd/PrintFormat.cc
@@ -8,6 +8,7 @@
 
 #include <stdarg.h>
 #include "Console.hh"
+#include "Kernel.hh"
 #include "kstd/ASCII.hh"
 #include "kstd/CString.hh"
 #include "kstd/Types.hh"
@@ -316,7 +317,7 @@ printFormat(const char* format,
                 spec.type = Spec::Type::String;
                 break;
         }
-        nchars += spec.print(*this);
+        nchars += spec.print(kernel::systemKernel().console());
         continue;
     }