Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 5f85c910c3b85368172260d2de0f5da623a4742b)
+++ generic/src/main/kinit.c	(revision 36a140b0bcc2aad4559358d768021df63fd67aa9)
@@ -51,7 +51,7 @@
 #include <synch/spinlock.h>
 
-#ifdef __TEST__
+#ifdef CONFIG_TEST
 #include <test.h>
-#endif /* __TEST__ */
+#endif /* CONFIG_TEST */
 
 #include <mm/frame.h>
@@ -118,5 +118,5 @@
 	interrupts_enable();
 
-#ifdef __USERSPACE__
+#ifdef CONFIG_USERSPACE
 	/*
 	 * Create the first user task.
@@ -150,9 +150,9 @@
 	
 	thread_ready(t);
-#endif /* __USERSPACE__ */
+#endif /* CONFIG_USERSPACE */
 
-#ifdef __TEST__
+#ifdef CONFIG_TEST
 	test();
-#endif /* __TEST__ */
+#endif /* CONFIG_TEST */