Index: kernel/generic/src/main/shutdown.c
===================================================================
--- kernel/generic/src/main/shutdown.c	(revision b014e9f8dfc796df22c985c021ea0869071a9d5a)
+++ kernel/generic/src/main/shutdown.c	(revision 149d14e522aa5c449b696ad4420f3caa33ca9b8e)
@@ -33,8 +33,9 @@
 /**
  * @file
- * @brief 	Shutdown procedures.
+ * @brief Shutdown procedures.
  */
 
 #include <arch.h>
+#include <func.h>
 #include <print.h>
 
@@ -48,4 +49,5 @@
 	
 	arch_reboot();
+	halt();
 }