From dc20f00872b5e79d4a93df90cd7d44cc5f32178f Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Thu, 17 Jan 2019 02:13:21 +0100
Subject: [PATCH] PS2MouseDevice: Try to synchronize the data reporting stream.

Turns out this was the reason QEMU wouldn't boot us.
---
 Kernel/PS2MouseDevice.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Kernel/PS2MouseDevice.cpp b/Kernel/PS2MouseDevice.cpp
index f64842bc72..4aa8f02764 100644
--- a/Kernel/PS2MouseDevice.cpp
+++ b/Kernel/PS2MouseDevice.cpp
@@ -28,7 +28,10 @@ void PS2MouseDevice::handle_irq()
     m_data[m_data_state] = data;
     switch (m_data_state) {
     case 0:
-        ASSERT(data & 0x08);
+        if (!(data & 0x08)) {
+            dbgprintf("PS2Mouse: Stream out of sync.\n");
+            break;
+        }
         ++m_data_state;
         break;
     case 1: