Allow clients to get the console from the kernel object

src/Kernel.cc

@@ -12,7 +12,7 @@
 namespace {
 
 static kernel::Kernel sKernel;
-    
+
 } /* anonymous namespace */
 
 namespace kernel {
@@ -55,6 +55,12 @@ Kernel::panic(const char* msg,
     halt();
 }
 
+Console&
+Kernel::console()
+{
+    return mConsole;
+}
+
 /*
  * Private
  */

src/Kernel.hh

@@ -27,6 +27,8 @@ struct Kernel
 
     void halt() NORETURN;
 
+    Console& console();
+
 private:
     Console mConsole;
 };

src/Main.cc

@@ -32,7 +32,10 @@ kmain(multiboot::Information *information,
     multiboot::Information::setInformation(information);
     auto info = multiboot::Information::information();
 
-    kernel::Kernel::systemKernel().initialize();
+    auto& kernel = kernel::Kernel::systemKernel();
+    kernel.initialize();
+
+    auto& console = kernel.console();
 
     console.printFormat("Command line: \"%s\"\n", info->commandLine());