Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 98a4e76b4160ea2db9e82981125a143f0b747421)
+++ kernel/Makefile	(revision 30e2bbabc6e6d2fb1df50ace4a1582aa7b8d4617)
@@ -247,5 +247,4 @@
 		test/btree/btree1.c \
 		test/avltree/avltree1.c \
-		test/debug/mips1.c \
 		test/fault/fault1.c \
 		test/mm/falloc1.c \
@@ -254,5 +253,4 @@
 		test/mm/slab1.c \
 		test/mm/slab2.c \
-		test/mm/purge1.c \
 		test/synch/rwlock1.c \
 		test/synch/rwlock2.c \
@@ -265,4 +263,16 @@
 		test/thread/thread1.c \
 		test/sysinfo/sysinfo1.c
+	
+	ifeq ($(KARCH),mips32)
+		GENERIC_SOURCES += test/debug/mips1.c
+	else
+		GENERIC_SOURCES += test/debug/mips1_skip.c
+	endif
+	
+	ifeq ($(KARCH),ia64)
+		GENERIC_SOURCES += test/mm/purge1.c
+	else
+		GENERIC_SOURCES += test/mm/purge1_skip.c
+	endif
 	
 	ifeq ($(CONFIG_FPU),y)