Changes in kernel/generic/src/main/shutdown.c [1066041:b2fa1204] in mainline

File:

• kernel/generic/src/main/shutdown.c (modified) (2 diffs)

kernel/generic/src/main/shutdown.c

@@ -37 +37 @@
 
 #include <arch.h>
-#include <proc/task.h>
 #include <func.h>
 #include <print.h>
+#include <log.h>
 
 void reboot(void)
@@ -46 +46 @@
         
 #ifdef CONFIG_DEBUG
-        printf("Rebooting the system\n");
+        log(LF_OTHER, LVL_DEBUG, "Rebooting the system");
 #endif