Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision 60f6b7c45ff45619f5a597a76dd55463fc15ceef)
+++ src/main/main.c	(revision da7d77077456ab35a65d42080d3cfbd4dafaa60a)
@@ -187,5 +187,4 @@
 		panic("can't create kinit thread\n");
 	thread_ready(t);
-
 	/*
 	 * This call to scheduler() will return to kinit,