From 68fcccbeca257c76e8e9030980873d5d74feff15 Mon Sep 17 00:00:00 2001
From: Arthur Heymans <arthur@aheymans.xyz>
Date: Wed, 15 Jun 2016 11:03:45 -0400
Subject: Disable native PS2 keyboard init

Both grub and seabios can do keyboard init on their own.
This option only slows down the boot process.
On the x60 it even makes the keyboard unresponsive.
---
(limited to 'resources/libreboot/config/grub/kgpe-d16')

diff --git a/resources/libreboot/config/grub/kgpe-d16/config b/resources/libreboot/config/grub/kgpe-d16/config
index eb414a3..2f2a7b9 100644
--- a/resources/libreboot/config/grub/kgpe-d16/config
+++ b/resources/libreboot/config/grub/kgpe-d16/config
@@ -175,7 +175,7 @@ CONFIG_CPU_ADDR_BITS=48
 CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8
 # CONFIG_USBDEBUG is not set
 CONFIG_MAINBOARD_VERSION="1.0"
-CONFIG_DRIVERS_PS2_KEYBOARD=y
+# CONFIG_DRIVERS_PS2_KEYBOARD is not set
 # CONFIG_NO_POST is not set
 CONFIG_BOARD_ROMSIZE_KB_2048=y
 # CONFIG_COREBOOT_ROMSIZE_KB_64 is not set
--
cgit v0.9.1