From fbeca4a00457c97111a9fcbbb359bf3d2c42e75c Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Tue, 31 Dec 2013 13:52:32 +0100
Subject: [PATCH] Fix debug comment

---
 kernel/src/shell.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/src/shell.cpp b/kernel/src/shell.cpp
index 77b94b9f..c4c43a35 100644
--- a/kernel/src/shell.cpp
+++ b/kernel/src/shell.cpp
@@ -608,7 +608,7 @@ void shutdown_command(const std::vector<std::string>&){
 } //end of anonymous namespace
 
 void init_shell(){
-//    wipeout();
+    wipeout();
 
     k_print("thor> ");