Patrick Georgi (patrick@georgi-clan.de) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/5633
-gerrit
commit 842a4309f3f706f8d6d4980824da0285b01af1e2 Author: Patrick Georgi patrick@georgi-clan.de Date: Fri May 2 15:08:46 2014 +0200
drivers/pc80/Kconfig: simplify PS/2 selection rules
There's no need to state the dependency twice.
Change-Id: Ia241d441211c6f476d0a6ed7589b038f7a220265 Signed-off-by: Patrick Georgi patrick@georgi-clan.de --- 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 485dd64..1348dd4 100644 --- a/src/drivers/pc80/Kconfig +++ b/src/drivers/pc80/Kconfig @@ -3,7 +3,7 @@ config DRIVERS_PS2_KEYBOARD bool "PS/2 keyboard init" default n if PAYLOAD_GRUB2 || PAYLOAD_SEABIOS - default y if !(PAYLOAD_GRUB2 || PAYLOAD_SEABIOS) + default y help Enable this option to initialize PS/2 keyboards found connected to the PS/2 port.