Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 42be09b14da6e407504329603d4a445d6a44aede)
+++ HelenOS.config	(revision 76b5a95cdf127e6bca3c36046fa6af8e0e443f48)
@@ -417,4 +417,7 @@
 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_PC_KBD (y/n)
 
+% PC keyboard support
+! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_PC_KBD (y/n)
+
 % Support for msim/GXemul keyboard
 ! [CONFIG_HID_IN=generic&PLATFORM=mips32] CONFIG_MIPS_KBD (y/n)