Don't initialize the ps/2 keyboard in case the device is not listed in the ACPi DSDT table.
Signed-off-by: Gerd Hoffmann <[email protected]> --- src/hw/ps2port.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/hw/ps2port.c b/src/hw/ps2port.c index 2c334c06b7eb..c82521b42e16 100644 --- a/src/hw/ps2port.c +++ b/src/hw/ps2port.c @@ -542,6 +542,10 @@ ps2port_setup(void) ASSERT32FLAT(); if (! CONFIG_PS2PORT) return; + if (acpi_dsdt_present_eisaid(0x0303) == 0) { + dprintf(1, "ACPI: no PS/2 keyboard present\n"); + return; + } dprintf(3, "init ps2port\n"); enable_hwirq(1, FUNC16(entry_09)); -- 2.18.2 _______________________________________________ SeaBIOS mailing list -- [email protected] To unsubscribe send an email to [email protected]
