#
# Hardware I/O ports
#
CONFIG_SERIO=n
CONFIG_ARCH_MIGHT_HAVE_PC_SERIO=n
CONFIG_SERIO_I8042=n
CONFIG_SERIO_SERPORT=n
# CONFIG_SERIO_CT82C710 is not set
# CONFIG_SERIO_PCIPS2 is not set
# CONFIG_SERIO_LIBPS2 is not set
# CONFIG_SERIO_RAW is not set
# CONFIG_SERIO_ALTERA_PS2 is not set
# CONFIG_SERIO_PS2MULT is not set
# CONFIG_SERIO_ARC_PS2 is not set
# CONFIG_USERIO is not set