Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision af56e9b85fca4f965e273d0cf0e72f55bb39d07b)
+++ kernel/generic/src/proc/scheduler.c	(revision c62d2e1bc753f6a56d1a41e68ba3a7f1d549d70d)
@@ -201,4 +201,5 @@
 		 * even though there is a runnable thread.
 		 */
+
 		 cpu_sleep();
 		 goto loop;