Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 2b17f47a12be0ade0b8cfd4a26a738c33c7d2336)
+++ HelenOS.config	(revision 0e6461dd23fa5ba1d11e640a489430890579b597)
@@ -54,8 +54,4 @@
 ! [PLATFORM=ia64] MACHINE (choice)
 
-# Machine
-@ "gxemul_testarm" GXEmul testarm
-! [PLATFORM=arm32] MACHINE (choice)
-
 # Compiler
 @ "gcc_cross" GCC Cross-compiler