From ed55c1fff57524ced9db3e74af5f99203e1b3d7d Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Tue, 10 Dec 2013 18:13:52 +0100
Subject: [PATCH] Fixes

---
 kernel/src/shell.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/kernel/src/shell.cpp b/kernel/src/shell.cpp
index 92088cc0..53b05a25 100644
--- a/kernel/src/shell.cpp
+++ b/kernel/src/shell.cpp
@@ -207,8 +207,6 @@ void clear_command(const vector<string>&){
 }
 
 void __attribute__((noreturn)) reboot_command(const vector<string>&){
-    interrupt<60>();
-
     asm volatile("mov al, 0x64; or al, 0xFE; out 0x64, al; mov al, 0xFE; out 0x64, al; " : : );
 
     __builtin_unreachable();