Alexandru Gagniuc (mr.nuke.me@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/8599
-gerrit
commit 055f13e77b69be0e434e779fde1ae00808036c70 Author: Alexandru Gagniuc mr.nuke.me@gmail.com Date: Tue Mar 3 22:37:44 2015 -0600
drivers/pc80: Do not initialize PS2 keyboard by default
The most common payloads do not need this set, so optimize for the common case.
Change-Id: I2e5b68d74e9b91b41bbbcffc17d31d5c1bb38fd4 Signed-off-by: Alexandru Gagniuc mr.nuke.me@gmail.com --- src/drivers/pc80/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/drivers/pc80/Kconfig b/src/drivers/pc80/Kconfig index f8ac5c5..fd56b6a 100644 --- a/src/drivers/pc80/Kconfig +++ b/src/drivers/pc80/Kconfig @@ -2,7 +2,7 @@ # reliably support PS/2 init themselves. config DRIVERS_PS2_KEYBOARD bool "PS/2 keyboard init" - default y + default n help Enable this option to initialize PS/2 keyboards found connected to the PS/2 port.