#
# Automatically generated make config: don't edit
# Linux kernel version: 2.6.25
-# Sat Jul 5 12:40:54 2008
+# Sun Sep 7 16:28:02 2008
#
CONFIG_AVR32=y
CONFIG_GENERIC_GPIO=y
# CONFIG_BOARD_ATSTK1006 is not set
# CONFIG_BOARD_ATSTK100X_CUSTOM is not set
# CONFIG_BOARD_ATSTK100X_SPI1 is not set
-# CONFIG_BOARD_ATSTK1000_J2_LED is not set
-# CONFIG_BOARD_ATSTK1000_J2_LED8 is not set
+CONFIG_BOARD_ATSTK1000_J2_LED=y
+CONFIG_BOARD_ATSTK1000_J2_LED8=y
# CONFIG_BOARD_ATSTK1000_J2_RGB is not set
CONFIG_BOARD_ATSTK1000_EXTDAC=y
# CONFIG_BOARD_ATSTK100X_ENABLE_AC97 is not set
# Userland interfaces
#
CONFIG_INPUT_MOUSEDEV=m
+CONFIG_INPUT_VMS=y
CONFIG_INPUT_MOUSEDEV_PSAUX=y
CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768