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