#
# Automatically generated make config: don't edit
# Linux kernel version: 2.6.27.23-0.1.1
-# Tue Aug 4 19:24:56 2009
+# Wed Aug 5 09:56:26 2009
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
# Input Device Drivers
#
CONFIG_INPUT_KEYBOARD=y
-CONFIG_KEYBOARD_ATKBD=m
+CONFIG_KEYBOARD_ATKBD=y
# CONFIG_KEYBOARD_SUNKBD is not set
# CONFIG_KEYBOARD_LKKBD is not set
# CONFIG_KEYBOARD_XTKBD is not set
# CONFIG_SERIO_SERPORT is not set
# CONFIG_SERIO_CT82C710 is not set
# CONFIG_SERIO_PCIPS2 is not set
-CONFIG_SERIO_LIBPS2=m
+CONFIG_SERIO_LIBPS2=y
# CONFIG_SERIO_RAW is not set
# CONFIG_GAMEPORT is not set