Index: uspace/drv/char/i8042/main.c
===================================================================
--- uspace/drv/char/i8042/main.c	(revision 428bd07bbba1603c5d3226a726613e128998bae7)
+++ uspace/drv/char/i8042/main.c	(revision 504f1ea3f50f3bc6ccb462628723e8deff3baf60)
@@ -36,4 +36,5 @@
 
 #include <libarch/inttypes.h>
+#include <libarch/config.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>
@@ -42,4 +43,5 @@
 #include <ddf/log.h>
 #include <stdio.h>
+#include <async.h>
 #include "i8042.h"
 
@@ -152,4 +154,11 @@
 	printf("%s: HelenOS PS/2 driver.\n", NAME);
 	ddf_log_init(NAME);
+	
+	/*
+	 * Alleviate the virtual memory / page table pressure caused by 
+	 * interrupt storms when the default large stacks are used.
+	 */
+	async_set_interrupt_handler_stack_size(PAGE_SIZE);
+
 	return ddf_driver_main(&i8042_driver);
 }