Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision cea12e9203af33ad68db110556123a714b9bc77d)
+++ kernel/arch/ia32/include/interrupt.h	(revision 8607db8973636c4d5002631c147efc77bc9fd967)
@@ -53,4 +53,5 @@
 #define IRQ_PIC1		2
 #define IRQ_PIC_SPUR	7
+#define IRQ_MOUSE		12
 
 /* this one must have four least significant bits set to ones */
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision cea12e9203af33ad68db110556123a714b9bc77d)
+++ kernel/arch/ia32/src/ia32.c	(revision 8607db8973636c4d5002631c147efc77bc9fd967)
@@ -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);
 }