Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision fc965aa0ca59a0c24e1da7a9a26b336108a8f342)
+++ HelenOS.config	(revision f1aa1dbe43ef05bdec1c9704027ea422a393243b)
@@ -87,4 +87,17 @@
 ! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice)
 
+% CPU type
+@ "armv4" ARMv4
+! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=gxemul)] PROCESSOR (choice)
+
+% CPU type
+@ "armv5" ARMv5
+! [PLATFORM=arm32&MACHINE=integratorcp] PROCESSOR (choice)
+
+% CPU type
+@ "armv7" ARMv7
+! [PLATFORM=arm32&MACHINE=beagleboardxm] PROCESSOR (choice)
+
+
 % RAM disk format
 @ "tmpfs" TMPFS image