diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2020-03-31 14:51:52 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2020-05-15 13:55:29 +0200 |
| commit | ea03821b1dd0dc0227f55a2e4c8ae351c8de6a58 (patch) | |
| tree | 0e6a5c12ae9cffccb05b0737d7788859aa8ad69c | |
| parent | 654ba383b6b60545112190fb753314e79e80ad02 (diff) | |
| download | seabios-ea03821b1dd0dc0227f55a2e4c8ae351c8de6a58.tar.gz | |
acpi: skip kbd init if not present
Don't initialize the ps/2 keyboard in case the device is not
listed in the ACPi DSDT table.
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
| -rw-r--r-- | src/hw/ps2port.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/hw/ps2port.c b/src/hw/ps2port.c index 2c334c06..c82521b4 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)); |