Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 82474ef569903ac99835ea373081f03a5195c413)
+++ kernel/generic/src/ipc/irq.c	(revision 92413defc319a30e0b83ed8a0996c59ffd9cd882)
@@ -149,4 +149,6 @@
 		(unative_t) devno
 	};
+	
+	printf("kernel ipc_irq_register() ... registering irq = %d\n", inr);
 	
 	if (ucode) {
@@ -202,4 +204,7 @@
 	
 	interrupts_restore(ipl);
+	
+	printf("kernel ipc_irq_register() ... registering irq = %d was successful \n", inr);
+
 	return EOK;
 }