Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 21580dd3dd9a49828a6c8dd3988e651a60708c10)
+++ kernel/generic/src/ipc/irq.c	(revision 918e9910a408edff4d948fec80491d4c2945dc05)
@@ -202,4 +202,6 @@
 	
 	interrupts_restore(ipl);
+//	explicitly enable irq
+	trap_virtual_enable_irqs( 1 << irq->inr );
 	return EOK;
 }