Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision f8ddd176406660da88b0e9d63695413731cd58ff)
+++ kernel/generic/src/main/kinit.c	(revision 319e60e55b0b59b46de5960c99fbbfe193c9017a)
@@ -70,8 +70,4 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
-
-#ifdef CONFIG_TEST
-#include <test.h>
-#endif /* CONFIG_TEST */
 
 /** Kernel initialization thread.
@@ -155,9 +151,4 @@
 	interrupts_enable();
 
-#ifdef CONFIG_TEST
-	test();
-	printf("\nTest finished, please reboot.\n");
-#else  /* CONFIG_TEST */
-
 	count_t i;
 	for (i = 0; i < init.cnt; i++) {
@@ -195,6 +186,4 @@
 		}
 	}
-#endif /* CONFIG_TEST */
-
 }