From c0eacaedeb9ca1ffb06c099d12f741ebf9072977 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Wed, 21 May 2014 00:01:12 -0400
Subject: config-linux-libre-ao751h: Enable built-in kbd.

---
diff --git a/changelog b/changelog
index 69d53fb..3177721 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,9 @@
+config-ao751h (0.3) trunk
+
+  * config-linux-libre-ao751h: Enable built-in (PS/2) keyboard.
+
+ -- "P. J. McDermott" <pj@pehjota.net>  Wed, 21 May 2014 00:00:52 -0400
+
 config-ao751h (0.2) trunk
 
   * config-linux-libre-ao751h: New upstream version.
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
--
cgit v0.9.1