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/t60')

diff --git a/resources/libreboot/config/grub/t60/config b/resources/libreboot/config/grub/t60/config
index bc9e968..48b6d5d 100644
--- a/resources/libreboot/config/grub/t60/config
+++ b/resources/libreboot/config/grub/t60/config
@@ -151,7 +151,7 @@ CONFIG_SEABIOS_PS2_TIMEOUT=3000
 CONFIG_CPU_ADDR_BITS=36
 CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8
 CONFIG_USBDEBUG=y
-CONFIG_DRIVERS_PS2_KEYBOARD=y
+# CONFIG_DRIVERS_PS2_KEYBOARD is not set
 CONFIG_DRIVERS_UART_8250IO=y
 # CONFIG_NO_POST is not set
 CONFIG_MAXIMUM_SUPPORTED_FREQUENCY=0
--
cgit v0.9.1