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

File:

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

kernel/generic/src/main/shutdown.c

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