Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision a1d51670ee1c36385f1b4bf1b245ab50b09f761e)
+++ HelenOS.config	(revision 66e41b813a01a378b8703a4cd5ed4462a96bb3b9)
@@ -334,10 +334,16 @@
 @ "keyboard" Keyboard
 @ "serial" Serial line
-! CONFIG_HID_IN (choice)
+! [MACHINE!=msim] CONFIG_HID_IN (choice)
+% What is your input device?
+@ "serial" Serial line
+! [MACHINE=msim] CONFIG_HID_IN (choice)
 
 % What is your output device?
 @ "monitor" Monitor
 @ "serial" Serial line
-! CONFIG_HID_OUT (choice)
+! [MACHINE!=msim] CONFIG_HID_OUT (choice)
+% What is your output device?
+@ "serial" Serial line
+! [MACHINE=msim] CONFIG_HID_OUT (choice)
 
 % i8042 controller support
@@ -422,3 +428,3 @@
 @ "us_qwerty" US QWERTY
 @ "us_dvorak" US Dvorak
-! [CONFIG_HID_IN=keyboard] KBD_LAYOUT (choice)
+! KBD_LAYOUT (choice)