diff --git a/_projects/ia32-generic-pc/board_config.h b/_projects/ia32-generic-pc/board_config.h
index ce3a4e3b..5e196a6a 100644
--- a/_projects/ia32-generic-pc/board_config.h
+++ b/_projects/ia32-generic-pc/board_config.h
@@ -18,4 +18,9 @@
 #define UART16550_CONSOLE_USER 0
 #define UART16550_BAUDRATE     115200
 
+/* pc-tty configuration */
+#define PC_TTY_CREATE_PS2_VDEVS  0
+#define PC_TTY_MOUSE_ENABLE      0
+#define PC_TTY_MOUSE_SKIP_CONFIG 1
+
 #endif
diff --git a/_projects/ia32-generic-qemu/board_config.h b/_projects/ia32-generic-qemu/board_config.h
index 2b1339c8..dfd35605 100644
--- a/_projects/ia32-generic-qemu/board_config.h
+++ b/_projects/ia32-generic-qemu/board_config.h
@@ -18,4 +18,8 @@
 #define UART16550_CONSOLE_USER  0
 #define UART16550_BAUDRATE      115200
 
+/* pc-tty configuration */
+#define PC_TTY_CREATE_PS2_VDEVS 0
+#define PC_TTY_MOUSE_ENABLE     0
+
 #endif