diff options
Diffstat (limited to 'src/linux-libre/3.10.40~gnu/config')
| -rw-r--r-- | src/linux-libre/3.10.40~gnu/config | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/linux-libre/3.10.40~gnu/config b/src/linux-libre/3.10.40~gnu/config index 2d6fa4b..7c6ad57 100644 --- a/src/linux-libre/3.10.40~gnu/config +++ b/src/linux-libre/3.10.40~gnu/config @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 3.10.38-gnu Kernel Configuration +# Linux/x86 3.10.40-gnu Kernel Configuration # # CONFIG_64BIT is not set CONFIG_X86_32=y @@ -1792,7 +1792,7 @@ CONFIG_INPUT_EVDEV=y CONFIG_INPUT_KEYBOARD=y # CONFIG_KEYBOARD_ADP5588 is not set # CONFIG_KEYBOARD_ADP5589 is not set -# CONFIG_KEYBOARD_ATKBD is not set +CONFIG_KEYBOARD_ATKBD=y # CONFIG_KEYBOARD_QT1070 is not set # CONFIG_KEYBOARD_QT2160 is not set # CONFIG_KEYBOARD_LKKBD is not set @@ -1849,7 +1849,7 @@ CONFIG_SERIO_I8042=y CONFIG_SERIO_SERPORT=y # CONFIG_SERIO_CT82C710 is not set # CONFIG_SERIO_PCIPS2 is not set -# CONFIG_SERIO_LIBPS2 is not set +CONFIG_SERIO_LIBPS2=y # CONFIG_SERIO_RAW is not set # CONFIG_SERIO_ALTERA_PS2 is not set # CONFIG_SERIO_PS2MULT is not set |