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 4a1dd447e053f574c02278823f458723c56b5398 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 0ed1ecf..18c626c 100644 --- a/src/drivers/pc80/Kconfig +++ b/src/drivers/pc80/Kconfig @@ -4,7 +4,7 @@ if PC80_SYSTEM
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.