Paul Menzel (paulepanter@users.sourceforge.net) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/5581
-gerrit
commit f1e271be20f465546e1e971c722b0e6ebb02eb88 Author: Paul Menzel paulepanter@users.sourceforge.net Date: Sat Apr 26 10:18:12 2014 +0200
drivers/pc80/Kconfig: Do not init PS/2 keyboard if SeaBIOS is used as payload
As the Kconfig description of `DRIVERS_PS2_KEYBOARD` says, SeaBIOS is able to initialize the PS/2 keyboard itself, so it is not necessary to do it in coreboot.
SeaBIOS is also able to do it faster as discussed in a thread from October 2010 [1].
[1] http://www.coreboot.org/pipermail/coreboot/2010-October/thread.html#61310 [coreboot] coreboot+seabios timings
Change-Id: I1248cec3e2ca5b9311e46df8aabf67e14ffd4ea6 Signed-off-by: Paul Menzel paulepanter@users.sourceforge.net --- src/drivers/pc80/Kconfig | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/drivers/pc80/Kconfig b/src/drivers/pc80/Kconfig index 3c8fd8c..acd1503 100644 --- a/src/drivers/pc80/Kconfig +++ b/src/drivers/pc80/Kconfig @@ -2,7 +2,8 @@ # reliably support PS/2 init themselves. config DRIVERS_PS2_KEYBOARD bool "PS/2 keyboard init" - default y + default n if PAYLOAD_SEABIOS + default y if !PAYLOAD_SEABIOS help Enable this option to initialize PS/2 keyboards found connected to the PS/2 port.