Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision c713aa56b7ead96a13adf43127742f927e5b1d9b)
+++ kernel/generic/src/ipc/irq.c	(revision 0c3666da780bbd04fc399decd9d650c7ea897384)
@@ -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;
 }