Index: uspace/drv/char/i8042/i8042.h
===================================================================
--- uspace/drv/char/i8042/i8042.h	(revision d1582b502edcb7bfeef771a2019538f265e7e27c)
+++ uspace/drv/char/i8042/i8042.h	(revision 61bf9dd9428e2f8c95a06cdc0f80d9af3071da4a)
@@ -1,6 +1,6 @@
 /*
+ * Copyright (c) 2021 Jiri Svoboda
  * Copyright (c) 2006 Josef Cejka
  * Copyright (c) 2011 Jan Vesely
- * Copyright (c) 2017 Jiri Svoboda
  * All rights reserved.
  *
@@ -48,5 +48,8 @@
 #define NAME  "i8042"
 
-#define BUFFER_SIZE  12
+/** Buffer needs to be large enough for rate at which keyboard or mouse
+ * produces data (mouse produces data at faster rate).
+ */
+#define BUFFER_SIZE  64
 
 /** i8042 HW I/O interface */