source "drivers/input/misc/Kconfig"
+source "drivers/input/xen/Kconfig"
+
endif
menu "Hardware I/O ports"
obj-$(CONFIG_INPUT_JOYSTICK) += joystick/
obj-$(CONFIG_INPUT_TOUCHSCREEN) += touchscreen/
obj-$(CONFIG_INPUT_MISC) += misc/
+obj-$(CONFIG_INPUT_XEN) += xen/
if SERIO
config SERIO_I8042
- tristate "i8042 PC Keyboard controller" if EMBEDDED || !X86
+ tristate "i8042 PC Keyboard controller" if EMBEDDED || X86
default y
depends on !PARISC && (!ARM || ARCH_SHARK || FOOTBRIDGE_HOST) && !M68K
---help---
--- /dev/null
+#
+# Mouse driver configuration
+#
+menuconfig INPUT_XEN
+ bool "XEN"
+ default n
+ help
+ Say Y here for input devices specific to Xen.
+ This option doesn't affect the kernel.
+
+ If unsure, say N.
+
+if INPUT_XEN
+
+config XEN_8042
+ tristate "8042 KBD and Mouse"
+ default y
+ ---help---
+ Say Y here if you have a PS/2 keyboard and/or mouse connected to
+ your system that you wish to virtualize between Xen Client guests.
+ If unsure, say Y.
+
+ To compile this driver as a module, choose M here: the
+ module will be called pass2 (for pass-through PS/2).
+endif
--- /dev/null
+#
+# Makefile for Xen Client input devices.
+#
+
+obj-$(CONFIG_XEN_8042) += pass2.o
+
+xeninput-objs := pass2.o