Don't initialize keyboard hardware on coreboot - coreboot already does it.

1 files changed, 4 insertions, 0 deletions

diff --git a/src/kbd.c b/src/kbd.c
index 3770305..6786698 100644
--- a/src/kbd.c
+++ b/src/kbd.c
@@ -48,6 +48,10 @@ kbd_waitdata(u8 code)
 static void
 keyboard_init()
 {
+    if (CONFIG_COREBOOT)
+        // Coreboot already does low-level keyboard init.
+        return;
+
     /* ------------------- Flush buffers ------------------------*/
     /* Wait until buffer is empty */
     kbd_flush(0xff);