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