Index: kernel/arch/arm32/src/machine_func.c
===================================================================
--- kernel/arch/arm32/src/machine_func.c	(revision a19dc957cea3fcd943f7f2397e3ef9cdc58fc1d8)
+++ kernel/arch/arm32/src/machine_func.c	(revision 22dfd380be327d91cff2394cd2f3d9143dd73a90)
@@ -41,5 +41,4 @@
 #include <arch/mach/gta02/gta02.h>
 #include <arch/mach/integratorcp/integratorcp.h>
-#include <arch/mach/testarm/testarm.h>
 #include <arch/mach/beagleboardxm/beagleboardxm.h>
 
@@ -52,6 +51,4 @@
 #if defined(MACHINE_gta02)
 	machine_ops = &gta02_machine_ops;
-#elif defined(MACHINE_testarm)
-	machine_ops = &gxemul_machine_ops;
 #elif defined(MACHINE_integratorcp)
 	machine_ops = &icp_machine_ops;