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