From 4905450d1d4eea115d2fd97a8d221fb7bf59fbf5 Mon Sep 17 00:00:00 2001
From: Jonas 'Sortie' Termansen <sortie@maxsi.org>
Date: Mon, 31 Oct 2022 22:38:32 +0100
Subject: [PATCH] Decrease PS/2 timeouts.

---
 kernel/x86-family/ps2.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/kernel/x86-family/ps2.cpp b/kernel/x86-family/ps2.cpp
index 65b4d758..56bfb730 100644
--- a/kernel/x86-family/ps2.cpp
+++ b/kernel/x86-family/ps2.cpp
@@ -78,9 +78,7 @@ static const uint8_t DEVICE_CMD_RESET = 0xFF;
 
 static const size_t DEVICE_RETRIES = 5;
 
-// TODO: This is entirely a guess. I don't actually know what timeout is
-//       suitable. GRUB seems to use 20 ms. I'll pick 50 ms to be safe.
-static const unsigned int TIMEOUT_MS = 50;
+static const unsigned int TIMEOUT_MS = 20;
 
 static bool WaitInput()
 {