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