From db68e3003e18b1c17491a9252b162f2fae64e5a2 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Wed, 6 Jul 2016 15:04:14 +0200
Subject: [PATCH] Better log printing

---
 kernel/src/logging.cpp | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/kernel/src/logging.cpp b/kernel/src/logging.cpp
index 5ec2c6b6..cf98eb70 100644
--- a/kernel/src/logging.cpp
+++ b/kernel/src/logging.cpp
@@ -29,6 +29,19 @@ const char* new_line = "\n";
 
 std::string buffer;
 
+const char* level_to_string(logging::log_level level){
+    switch(level){
+        case logging::log_level::TRACE:
+            return "TRACE";
+        case logging::log_level::DEBUG:
+            return "DEBUG";
+        case logging::log_level::WARNING:
+            return "WARNING";
+        case logging::log_level::ERROR:
+            return "ERROR";
+    }
+}
+
 void append_to_file(const char* s, size_t length){
     auto fd = vfs::open("/messages", std::OPEN_CREATE);
 
@@ -114,8 +127,10 @@ void logging::log(const std::string& s){
     append_to_file(s.c_str(), s.size());
 }
 
-void logging::log(log_level /*level*/, const char* s){
+void logging::log(log_level level, const char* s){
     //First, print to the virtual debugger
+    virtual_debug(level_to_string(level));
+    virtual_debug(": ");
     virtual_debug(s);
 
     if(is_early()){