diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-05-02 15:08:46 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-05-15 10:08:38 +0200 |
| commit | 1ec065bffae5233202ec1e64f3a2fb541da3784e (patch) | |
| tree | 6a33906ca761c1ab201b9f6ddda937882500b940 | |
| parent | e0187df61bea98d506c8cddf5d7674d09cb50390 (diff) | |
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>
Reviewed-on: http://review.coreboot.org/5633
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
| -rw-r--r-- | src/drivers/pc80/Kconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/drivers/pc80/Kconfig b/src/drivers/pc80/Kconfig index 485dd6408f..1348dd4e61 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. |