Index: src/Makefile.config
===================================================================
--- src/Makefile.config	(revision 51029384665ae5896fd3e9dd9231220b0d8f7f48)
+++ src/Makefile.config	(revision 1eb0dd13085f33bbf2be2a9269a37700bb8a6e29)
@@ -18,5 +18,5 @@
 
 # Uncomment if you want to compile in userspace support
-USERSPACE=__USERSPACE__
+#USERSPACE=__USERSPACE__
 
 # Uncomment if you want to run in the test mode
@@ -29,7 +29,7 @@
 #TEST_DIR=synch/rwlock2/
 #TEST_DIR=synch/rwlock3/
-TEST_DIR=synch/rwlock4/
+#TEST_DIR=synch/rwlock4/
 #TEST_DIR=synch/rwlock5/
 #TEST_DIR=synch/semaphore1/
 #TEST_DIR=synch/semaphore2/
-#TEST_DIR=fpu/fpu1
+TEST_DIR=fpu/fpu1