Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 8d6d76a4bbc459fe99a4a5d4d56fe33a66777b6f)
+++ generic/src/main/kinit.c	(revision 4bc141c9f96719845a1c5bed96e1e4cb39ba25b4)
@@ -81,5 +81,4 @@
 {
 	thread_t *t;
-	task_t *utask;
 
 	/*
@@ -153,5 +152,13 @@
 
 	interrupts_enable();
-	
+
+#ifdef CONFIG_TEST
+	test();
+	printf("\nTest finished, please reboot\n");
+	while(1)
+		;
+#else  /* CONFIG_TEST */
+
+	task_t *utask;
 	count_t i;
 	for (i = 0; i < init.cnt; i++) {
@@ -176,7 +183,4 @@
 	}
 
-#ifdef CONFIG_TEST
-	test();
-#endif /* CONFIG_TEST */
 
 	if (!stdin) {
@@ -186,4 +190,5 @@
 		}
 	}
+#endif /* CONFIG_TEST */
 
 }