Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 711a38b37af771adb8914e35f8d91da5b5d2ef07)
+++ HelenOS.config	(revision 894d9ea4ebb3dc44d6c4351bbf2dd01289949937)
@@ -89,5 +89,5 @@
 % CPU type
 @ "armv4" ARMv4
-! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=gxemul)] PROCESSOR (choice)
+! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=testarm)] PROCESSOR (choice)
 
 % CPU type