workaround for qemu writing the configuration byte on the AUX port pre-0.10.

diff --git a/drivers/tty/keyboard.c b/drivers/tty/keyboard.c
index d0e9fdcaf7a03ba1939af2076cf2b05742761b17..8fc9176f415ea4979347fe90b4354fa79f234846 100644 (file)
--- a/drivers/tty/keyboard.c
+++ b/drivers/tty/keyboard.c
@@ -856,14 +856,7 @@ PRIVATE int kbc_read()
                        if(sys_inb(KEYBD, &byte) != OK)
                                printf("kbc_read: 2 sys_inb failed\n");
                        if (st & KB_AUX_BYTE)
-                       {
-#if DEBUG
-                               printf(
-               "keyboard`kbc_read: ignoring byte (0x%x) from aux device.\n",
-                                       byte);
-#endif
-                               continue;
-                       }
+                               printf("kbc_read: aux byte 0x%x\n", byte);
 #if DEBUG
                        printf("keyboard`kbc_read: returning byte 0x%x\n",
                                byte);