Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision cea12e9203af33ad68db110556123a714b9bc77d)
+++ kernel/arch/ia32/src/ia32.c	(revision 16d71f41c615fdf91941d1ca9fee163d4e90d351)
@@ -129,5 +129,5 @@
 {
 	/* keyboard controller */
-	i8042_init(device_assign_devno(), IRQ_KBD);
+	i8042_init(device_assign_devno(), IRQ_KBD, device_assign_devno(), IRQ_MOUSE);
 }