2 # HIL device driver configuration
5 mainmenu_option next_comment
9 if [ "$CONFIG_INPUT" = "n" ]; then
10 comment 'Input support needed for HIL support'
12 bool 'HIL core support' CONFIG_HIL
14 if [ "$CONFIG_HIL" != "n" ]; then
15 dep_tristate ' HIL Keyboard (basic) support' CONFIG_HIL_KBD_BASIC $CONFIG_INPUT_KEYBDEV
17 comment ' HIL driver core support'
18 tristate ' HP System Device Controller i8042 Support' CONFIG_HP_SDC
19 dep_tristate ' HP SDC Real Time Clock' CONFIG_HP_SDC_RTC $CONFIG_HP_SDC
21 dep_tristate ' HIL MLC Support' CONFIG_HIL_MLC $CONFIG_HP_SDC $CONFIG_INPUT_SERIO
22 if [ "$CONFIG_INPUT_SERIO" = "n" ]; then
23 comment ' Serial IO support needed for HIL keyboard and mouse support'
25 # This is not accurate but for now it will save confusion.
26 define_tristate CONFIG_HP_SDC_MLC $CONFIG_HIL_MLC
29 comment ' HIL device driver'
31 if [ "$CONFIG_HIL_MLC" != "n" ]; then
32 if [ "$CONFIG_INPUT_KEYBDEV" = "n" ]; then
33 comment ' Keyboard input needed for HIL keyboard support'
35 dep_tristate ' HIL Keyboard (full) support' CONFIG_HIL_KBD $CONFIG_INPUT_KEYBDEV $CONFIG_HIL_MLC
38 if [ "$CONFIG_INPUT_MOUSEDEV" = "n" ]; then
39 comment ' Mouse input support needed for HIL mouse/pointer support'
41 dep_tristate ' HIL Mouse & Pointer support' CONFIG_HIL_PTR $CONFIG_INPUT_MOUSEDEV $CONFIG_HIL_MLC